3 ms·
> (and even formal proof systems don't use two column proof notation) Might be interesting to see a crack at that, though.
by dnautics 5y ago
> (and even formal proof systems don't use two column proof notation)
Might be interesting to see a crack at that, though.