Download the contents of this package in one zip archive (68.8k).
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.
|Free license not otherwise listed
|TeX Live as gene-logic
MiKTeX as gene-logic