Suggestions for proof
The following packages have something in common with the package proof. The packages are ordered in decreasing similarity.
- fourproject: Analyse and display the structure of a TeX document
- inputfile: Input LaTeX files, remembering the file name
- unixman: Typeset to look like Unix man output
- fink: The LaTeX2ε File Name Keeper
- filemod: Provide file modification times, and compare them
- changes: Manual change markup
- currfile: Provide file name and path of input files
- tutodoc: Typeset tutorial-like documentations
- mversion: Keeping track of document versions
- adhocfilelist: ‘\listfiles’ entries from the command line
- cms4talks: Content Management System for Talks
- ltxdiff: A Win32 program that compares tokens in two .tex files
- ldiff: A script for marking the differences between two LaTeX files
- pydocstrip: Scripted version of LaTeX docstrip
- textoolspro: Tools for documentation written in LaTeX
- easydtx: A simplified DTX format
- texdoc: Documentation access for TeX Live
- latexdiff: Determine and mark up significant differences between LaTeX files
- texplate: A tool for creating document structures based on templates
- texdeps: Find the dependencies of a (La)TeX file
- texdepend: Find dependencies in a LaTeX file
- proof-at-the-end: A package to move proofs to appendix
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- git-latexdiff: Call latexdiff on two Git revisions of a file
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs: Proof trees in the style of the sequent calculus
- bussproofs-extra: Extra commands for bussproofs.sty
- prftree: Macros for building proof trees
- apxproof: Proofs in appendix
- ebproof: Formal proofs in the style of sequent calculus