CTAN
Comprehensive TeX Archive Network
 

Proof

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

apx­proof
Proofs in ap­pendix
bussproofs
Proof trees in the style of the se­quent cal­cu­lus
cal­cu­la­tion
Type­set­ting rea­soned cal­cu­la­tions, also called cal­cu­la­tional proofs
ebproof
For­mal proofs in the style of se­quent cal­cu­lus
natded
Type­set nat­u­ral de­duc­tion proofs
prftree
Macros for build­ing proof trees
rib­bon­proofs
Draw­ing rib­bon proofs
Guest Book Sitemap Contact Contact Author
 
2017-10-20 03:28 CEST