CTAN Comprehensive TeX Archive Network


This topic con­tains pack­ages to type­set proofs and proof di­a­grams.

Proofs in ap­pendix.
Proof trees in the style of the se­quent cal­cu­lus.
Ex­tra com­mands for bussproofs.sty.
Type­set­ting rea­soned cal­cu­la­tions, also called cal­cu­la­tional proofs.
For­mal proofs in the style of se­quent cal­cu­lus.
Type­set nat­u­ral de­duc­tion proofs.
Macros for build­ing proof trees.
A pack­age to move proofs to ap­pendix.
Draw­ing rib­bon proofs.
Guest Book Sitemap Contact Contact Author