Line numbering in subproofs - rewrite package

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic

Creative Commons Attribution Share Alike 4.0 International

1 stars 0 forks source link

Line numbering in subproofs - rewrite package #20

Open catrincm opened 3 years ago

catrincm commented 3 years ago

I actually like the numbering of the lines of subproofs that you get from doing a more simple tabular inside tabular. https://www.overleaf.com/project/5fb6916694780a11b58e5922. Maybe rewrite the proofs package to get this. Should I make it backwards-compatible or am I happy to change the code from the textbook?