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 1 year ago
Profile Activity
Stats
308
reputation
804
reached
1
answer
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
16
Score
2
Posts
100
Posts %
16
Score
1
Posts
50
Posts %
16
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
answer
16
3 questions about basics of Martin-Löf type theory
Jan 27, 2021
question
3
Higher-dimensional paths as parametrizations of 1-dimensional paths
Feb 18, 2021
Top network posts
View all network posts
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
6
Is there something special about weak head normal form used with proof assistants?