Vorschläge für ribbonproofs
Die folgenden Pakete haben etwas mit dem Paket ribbonproofs gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- natded: Typeset natural deduction proofs
- seqcalc: A package for declarative sequent-calculus proofs
- proof-at-the-end: A package to move proofs to appendix
- apxproof: Proofs in appendix
- bussproofs-extra: Extra commands for bussproofs.sty
- calculation: Typesetting reasoned calculations, also called calculational proofs
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- bussproofs: Proof trees in the style of the sequent calculus
- bussproofs-colorful: Color extension for the bussproofs package
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- proofgraph: Dependency graphs of the results of a mathematical article
- proof: Shell based proofing for TeX-related files
- was: A collection of small packages by Walter Schmidt
- foilhtml: Interface between foiltex and LaTeX2HTML
- mapcodes: Support for multiple character sets and encodings
- psnfssx: Extra styles and encodings for PostScript fonts
- ltxmisc: Miscellaneous LaTeX packages, etc.
- alg: LaTeX environments for typesetting algorithms
- calendar-barr: A calendar document
- coursepaper: Prepare university course papers
- concprog: Concert programmes
- courseoutline: Prepare university course outlines
- envbig: Printing addresses on envelopes
- jknappen: Miscellaneous packages by Joerg Knappen
- kalender: Create a calendar, in German
- labels: Print sheets of sticky labels
- mhs: Historical mathematics
- myletter: An old letter class
- outliner: Change section levels easily