CTAN Comprehensive TeX Archive Network


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.
macros for Fitch-style natural deduction.
Typeset natural deduction proofs.
Macros for building proof trees.
A package to move proofs to appendix.
Drawing ribbon proofs.
Guest Book Sitemap Contact Contact Author