naturaldeduction
the Natural Deduction LaTeX Package
the Natural Deduction LaTeX Package
A LaTeX package to make the typesetting of natural deduction proofs less painful.
2007-10-25 05:54:31 UTC
TeX
Active