Vorschläge für Ribbonproofs

Die folgenden Pakete haben etwas mit dem Paket Ribbonproofs gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

• Package natded: Typeset natural deduction proofs
• Package seqcalc: A package for declarative sequent-calculus proofs
• Package proof-at-the-end: A package to move proofs to appendix
• 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 bussproofs-colorful: Color extension for the bussproofs package
• Package ebproof: Formal proofs in the style of sequent calculus
• Package prftree: Macros for building proof trees
• Package bussproofs: Proof trees in the style of the sequent calculus
• Package apxproof: Proofs in appendix
• Package fitch: LaTeX macros for Fitch-style natural deduction
• Package proofgraph: Dependency graphs of the results of mathematical articles
• Package proof: Shell based proofing for TeX-related files
• Package was: A collection of small packages by Walter Schmidt
• Package foilhtml: Interface between foiltex and LaTeX2HTML
• Package mapcodes: Support for multiple character sets and encodings
• Package ltxmisc: Miscellaneous LaTeX packages, etc.
• Package calendar-barr: A calendar document
• Package coursepaper: Prepare university course papers
• Package concprog: Concert programmes
• Package courseoutline: Prepare university course outlines
• Package jknappen: Miscellaneous packages by Joerg Knappen
• Package kalender: Create a calendar, in German
• Package labels: Print sheets of sticky labels
• Package mhs: Historical mathematics
• Package outliner: Change section levels easily
• Package utorontothesis: A thesis class definition for University of Toronto
• Package utthesis: Thesis package for the University of Texas at Austin
• Package fundus: Providing LaTeX access to various font families
• Package piff: Macro tools by Mike Piff