1,431 reputation
bio website
location Padua, Italy
age 23
visits member for 11 months
seen 2 hours ago

I am a student of the Master's program in Mathematics at the University of Padua, Italy. My main interests are type theory, category theory and computability.

331 Votes Cast

all time   by type  
331 up 165 question
0 down 166 answer