These are the packages associated with the keyword: proofs.
| Identifier | Caption |
|---|---|
| bussproofs | Proof trees in the style of the sequent calculus. |
| constants | Automatic numbering of constants. |
| gene-logic | Typeset logic formulae, etc. |
| lkproof | LK Proof figure macros. |
| newproof | Make commands to define proofs. |
| proofs | Macros for building proof trees. |
| tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style. |
| thrmappendix | Theorems, lemmas, etc., in appendix. |
Select up to four keywords, then submit. You will see the packages that have all of your keywords. (If you want just one keyword then you can click on it.)
Note that not every package has keywords so you may want to also search by file name, package identifier, description, or to look at the pages that characterize packages through hierarchies. You can suggest keywords for a package, which would be a help.