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