2,190 reputation
317
bio website homotopytypetheory.org
location
age 28
visits member for 2 years, 7 months
seen Nov 4 at 20:06