Skip to main content
Proof Assistants Beta
Björn Brandenburg's user avatar
Björn Brandenburg's user avatar
Björn Brandenburg's user avatar
Björn Brandenburg
  • Member for 9 months
  • Last seen more than a month ago
Profile Activity
Stats
36
reputation
205
reached
2
answers
0
questions
Communities
About

Faculty @ MPI-SWS

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
2
Score
2
Posts
100
Posts %
1
Score
1
Posts
50
Posts %
Top posts
1
Proving that a minimum example exists if any example exists in nat
Oct 9, 2023
1
What is the most ergonomic way to eliminate multiple similar goals in Coq?
Apr 5