CTAN
Comprehensive TeX Archive Network

Topic proof

type­set proofs and proof di­a­grams

Proof trees in the style of the se­quent cal­cu­lus
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
Draw­ing rib­bon proofs
Guest Book Sitemap Contact