178 reputation
310
bio website
location
age
visits member for 4 years, 4 months
seen 2 days ago

Interested in category theory, algebra, logic, foundations