# 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
- currfile: Provide file name and path of input files
- filemod: Provide file modification times, and compare them
- inputfile: Input LaTeX files, remembering the file name
- unixman: Typeset to look like Unix man output
- fink: The LaTeX2ε File Name Keeper
- changes: Manual change markup
- 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
- textoolspro: Tools for documentation written in LaTeX
- texdoc: Documentation access for TeX Live
- pydocstrip: Scripted version of LaTeX docstrip
- latexdiff: Determine and mark up significant differences between LaTeX files
- texplate: A tool for creating document structures based on templates
- texdepend: Find dependencies in a LaTeX file
- texdeps: Find the dependencies of a (La)TeX 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
- ebproof: Formal proofs in the style of sequent calculus
- 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
- pointruler: 12" Ruler containing Points and Inches
- colophon: Provides commands for producing a colophon