111 reputation
bio website
location Padua, Italy
age 22
visits member for 8 months
seen Apr 12 at 14:38

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.

This user has no recent positive reputation changes
This user has not asked any questions

2 Votes Cast

all time   by type  
2 up 1 question
0 down 1 answer