gene-logic – Typeset logic formulae, etc
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.
|Licenses||Free license not otherwise listed|
|Contained in||TeX Live as gene-logic|
MiKTeX as gene-logic
Download the contents of this package in one zip archive (68.8k).
Maybe you are interested in the following packages as well.
- fitch: LaTeX macros for Fitch-style natural deduction
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic
- syllogism: Typeset syllogisms in LaTeX