Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 1 year, 4 months
  • Last seen more than a month 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.
2
bronze badges
Posts

This user hasn’t posted yet.