for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

0
votes
0answers
91 views

lplfitch package : Add line numbering on the left

I am using the package lplfitch to typeset natural deduction proofs in Fitch style. I would like to number the lines on the left side of the vertical bar instead of on the left of the formula? ...