953 reputation
1915
bio website
location
age
visits member for 3 years, 2 months
seen 7 hours ago

I'm a graduate student deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory.


This user has not participated in any bounties