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