Stats
775
reputation
0
reached
0
answers
0
questions
Loading…
About
I am studying mathematics in Berlin. If you like to talk with me about categorical logic, category theory or type theory, send me a message. :)
Badges
View all badges
This user doesn’t have any gold badges yet.
2
-
Yearling
× 2May 14
2
-
SupporterFeb 25, 2022
-
AutobiographerAug 23, 2022
Posts
This user hasn’t posted yet.
Top network posts
View all network posts