Proof Assistants Beta
Dominik Kirst's user avatar
Dominik Kirst's user avatar
Dominik Kirst's user avatar
Dominik Kirst
  • Member for 1 year, 8 months
  • Last seen more than 1 year ago
Profile Activity
Stats
171
reputation
3k
reached
3
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
13
Score
2
Posts
67
Posts %
10
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
10
Open source proof assistants for first order logic with equality and set theory
Jun 15, 2022
answer
3
Well-foundedness: classical equivalence of no infinite descent and accessibility
Mar 17, 2022
answer
3
Mechanization of game semantics?
Jun 15, 2022

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.