Stats
1,556
reputation
2k
reached
5
answers
5
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.
7
silver badges
-
Yearling
× 7Oct 28, 2021
11
bronze badges
-
SuffrageNov 13, 2014
-
Nice QuestionOct 29, 2014
-
CustodianOct 29, 2014
Top tags
View all tags
24
Score
10
Posts
100
Posts %
5
Score
2
Posts
20
Posts %
5
Score
1
Posts
10
Posts %
2
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %