201 reputation
13
bio website
location
age
visits member for 2 years, 2 months
seen Jun 11 at 13:32

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?