Vorschläge für fitch
Die folgenden Pakete haben etwas mit dem Paket fitch gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- proof-at-the-end: A package to move proofs to appendix
- 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
- ebproof: Formal proofs in the style of sequent calculus
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- truthtable: Automatically generate truth tables for given variables and statements
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- apxproof: Proofs in appendix
- synproof: Easy drawing of syntactic proofs
- upgreek: Upright Greek letters
- autobreak: Simple line breaking of long formulae
- eqnalign: Make eqnarray behave like align
- eqnarray: More generalised equation arrays with numbering
- abraces: Asymmetric over-/underbraces in maths
- thmtools: Extensions to theorem environments
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- bguq: Improved quantifier stroke for Begriffsschrift packages
- tikz-inet: Draw interaction nets with TikZ