Reputation
2,024
Top tag
Next privilege 2,500 Rep.
Create tag synonyms
Badges
9 19
Newest
 Custodian
Impact
~118k people reached

Dec
10
reviewed Approve Quantifier elimination in infinitary languages