211 reputation
13
bio website
location
age
visits member for 2 years, 8 months
seen 2 days ago

Jun
6
answered Why does mathematical convention deal so ineptly with multisets?
May
22
answered Can the principle of explosion be removed from constructive logic?