Stats
5,676
reputation
6k
reached
6
answers
8
questions
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.
12
silver badges
-
Good QuestionDec 16, 2018
-
EnlightenedJan 28, 2015
-
Yearling
× 10Jul 21
Top tags
View all tags
33
Score
10
Posts
71
Posts %
15
Score
1
Posts
7
Posts %
15
Score
1
Posts
7
Posts %
15
Score
1
Posts
7
Posts %
14
Score
5
Posts
36
Posts %
13
Score
4
Posts
29
Posts %