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
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs-extra: Extra commands for bussproofs.sty
- apxproof: Proofs in appendix
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- bussproofs-colorful: Color extension for the bussproofs package
- bussproofs: Proof trees in the style of the sequent calculus
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- proof: Shell based proofing for TeX-related files
- was: A collection of small packages by Walter Schmidt
- texments: Using the Pygments highlighter in LaTeX
- sudoku: Create sudoku grids
- morehype: Hypertext tools for use with LaTeX
- brclc: Support 16-bit (double) calculations in LaTeX
- nicetext: Minimal markup for simple text (Wikipedia style) and documentation
- handout: Create handout for auditors of a talk
- sciposter: Make posters of ISO A3 size and larger
- bondgraph: Create bond graph figures in LaTeX documents
- easyformat: Easily add boldface, italics and smallcaps
- aguplus: Styles for American Geophysical Union
- aiaa: Typeset AIAA conference papers
- chronosys: Drawing time-line diagrams
- yaletter: Extremely flexible macros for letters, envelopes, and label sheets
- footmisx: A range of footnote options
- drawmatrix: Draw visual representations of matrices in LaTeX
- outlining: Create outlines for scientific documents
- simpleinvoice: Easy typesetting of invoices