MathOverflow
Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré
  • Member for 3 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
308
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
This user doesn’t have any bronze badges yet.
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
16
3 questions about basics of Martin-Löf type theory
8
Are there any non-English based proof assistants?
8
Successes of machine learning in formal theorem proving
7
What is the state of the art in proof automation in HoTT/CuTT?
6
Non-trivial difference(s) between Computer Algebra System and Proof Assistant