Vorschläge für fitch
Die folgenden Pakete haben etwas mit dem Paket fitch gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- bussproofs: Proof trees in the style of the sequent calculus
- ebproof: Formal proofs in the style of sequent calculus
- prftree: Macros for building proof trees
- turnstile: Typeset the (logic) turnstile notation
- 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
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- autobreak: Simple line breaking of long formulae
- abraces: Asymmetric over-/underbraces in maths
- eqnarray: More generalised equation arrays with numbering
- thmtools: Extensions to theorem environments
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- blkarray: Extended array and tabular
- breqn: Automatic line breaking of displayed equations
- cases: Numbered cases environment
- cancel: Place lines through maths formulae
- dotseqn: Flush left equations with dotted leaders to the numbers
- empheq: EMPHasizing EQuations
- longdivision: Typesets long division
- nccmath: Extended mathematics capabilities
- nicefrac: Typeset in-line fractions in a “nice” way
- ntheorem: Enhanced theorem environment
- numerica-tables: Create multi-column tables of mathematical functions
- oubraces: Braces over and under a formula
- polynom: Macros for manipulating polynomials
- resizegather: Automatically resize overly large equations