Reputation
1,994
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
9 19
Newest
 Custodian
Impact
~112k people reached

Dec
10
reviewed Approve Quantifier elimination in infinitary languages