# Suggestions for ribbonproofs

The following packages have something in common with the package ribbonproofs. The packages are ordered in decreasing similarity.

- natded: Typeset natural deduction proofs
- proof-at-the-end: A package to move proofs to appendix
- 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
- proof: Shell based proofing for TeX-related files
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- gensymb: Generic symbols for both text and math mode
- upgreek: Upright Greek letters
- was: A collection of small packages by Walter Schmidt
- url: Verbatim with URL-sensitive line breaks
- texments: Using the Pygments highlighter in LaTeX
- nath: Natural mathematics notation
- studenthandouts: Management and styling of student handout projects
- calxxxx: Prints a card-size calendar for any year
- prosper: LaTeX class for high quality slides
- subfloat: Sub-numbering for figures and tables
- alnumsec: Alphanumeric section numbering
- docmute: Input files ignoring LaTeX preamble, etc
- 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
- balance: Balanced two-column mode
- lineno: Line numbers on paragraphs
- sciposter: Make posters of ISO A3 size and larger
- realboxes: Variants of common box-commands that read their content as real box and not as macro argument