177 reputation
310
bio website
location
age
visits member for 4 years, 5 months
seen Apr 22 at 16:11

Interested in category theory, algebra, logic, foundations