3 ms·
Oi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)
by stopachka 6y ago
Oi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)
- marv3lls 6y agoI think I maybe noticed another typo... The last two axioms don't have matching parentheses? It looks like one more is opened than closed if I counted right.