Stats
1,055
reputation
832
reached
0
answers
1
question
Loading…
About
Interested in type theory, category theory and algebraic topology. Mixing these up is even more interesting.
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
-
Good QuestionDec 13, 2018
-
Yearling
× 5Jun 21, 2021
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %