proofs
The package will build a proof tree for Natural Deduction, Sequent Calculus, etc. The bundle also includes a QED package, for use to put marks at the end of a proof.
Ecosystem
ctan.org
ctan.org
Versions
0
0