Suggestions for Proof

The following packages have something in common with the package Proof. The packages are ordered in decreasing similarity.

• Package fourproject: Analyse and display the structure of a TeX document
• Package jss-lint: Style checker for Journal of Statistical Software manuscripts
• Package inputfile: Input LaTeX files, remembering the file name
• Package tutodoc: Typeset tutorial-like documentations
• Package unixman: Typeset to look like Unix man output
• Package fink: The LaTeX2ε File Name Keeper
• Package mversion: Keeping track of document versions
• Package currfile: Provide file name and path of input files
• Package changes: Manual change markup
• Package filemod: Provide file modification times, and compare them
• Package cms4talks: Content Management System for Talks
• Package easydtx: A simplified DTX format
• Package latexdiff: Determine and mark up significant differences between LaTeX files
• Package ldiff: A script for marking the differences between two LaTeX files
• Package pydocstrip: Scripted version of LaTeX docstrip
• Package textoolspro: Tools for documentation written in LaTeX
• Package adhocfilelist: \listfiles entries from the command line
• Package ltxdiff: A Win32 program that compares tokens in two .tex files
• Package texplate: A tool for creating document structures based on templates
• Package texdepend: Find dependencies in a LaTeX file
• Package texdeps: Find the dependencies of a (La)TeX file
• Package git-latexdiff: Call latexdiff on two Git revisions of a file
• Package texdoc: Documentation access for TeX Live
• Package proof-at-the-end: A package to move proofs to appendix
• Package natded: Typeset natural deduction proofs
• Package ribbonproofs: Drawing ribbon proofs
• Package seqcalc: A package for declarative sequent-calculus proofs
• Package bussproofs-extra: Extra commands for bussproofs.sty
• Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
• Package calculation: Typesetting reasoned calculations, also called calculational proofs
• Package passopt: Passing options to packages or classes