Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 5 years, 6 months
  • Last seen more than 1 year ago
  • Berlin, Germany
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
Top posts