Proof Assistants Beta
Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré
  • Member for 1 year, 4 months
  • Last seen this week
Profile Activity
Stats
636
reputation
3k
reached
9
answers
0
questions
Communities
View all
About

I'm a PhD student in Oxford interested in dependent and homotopy type theory. Currently working on a formalization project for discrete Morse theory.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
13
Score
2
Posts
22
Posts %
8
Score
1
Posts
11
Posts %
8
Score
1
Posts
11
Posts %
8
Score
1
Posts
11
Posts %
8
Score
1
Posts
11
Posts %
6
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
answer
8
Are there any non-English based proof assistants?
Feb 9, 2022
answer
8
Successes of machine learning in formal theorem proving
Feb 11, 2022
answer
6
Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Feb 9, 2022
answer
6
Is there something special about weak head normal form used with proof assistants?
Feb 10, 2022
answer
6
What is the state of the art in proof automation in HoTT/CuTT?
Feb 22, 2022
answer
5
Algorithms obtained through constructive formalization
Mar 21, 2022
answer
5
How to implement a visual proof assistant?
Oct 2, 2022
answer
5
Preserve equality with match expression
Feb 14, 2022
answer
3
How to use a proof assistant to reason in a topos?
Feb 14, 2022
Top network posts
View all network posts
15
3 questions about basics of Martin-Löf type theory

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.