Nico
130
reputation
4
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. :)