Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré's user avatar
Maximilian Doré
  • Member for 2 years
  • Last seen more than a month ago
Stats
656
reputation
4k
reached
10
answers
0
questions
Loading…
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.

This user doesn’t have any gold badges yet.
3
silver badges
5
bronze badges
13
Score
2
Posts
20
Posts %
8
Score
2
Posts
20
Posts %
8
Score
1
Posts
10
Posts %
8
Score
1
Posts
10
Posts %
7
Score
1
Posts
10
Posts %
7
Score
1
Posts
10
Posts %
Top posts