This topic contains packages to typeset proofs and proof diagrams.
Proofs in appendix.
Proof trees in the style of the sequent calculus.
Extra commands for bussproofs.sty.
Typesetting reasoned calculations, also called calculational proofs.
Formal proofs in the style of sequent calculus.
Typeset natural deduction proofs.
Macros for building proof trees.
A package to move proofs to appendix.
Drawing ribbon proofs.