Directory macros/latex/contrib/gene/logic
The LaTeX package gene-logic
Typeset logic in LaTeX
Author
Gerd Neugebauer Brechklinge 10 69256 Mauer (Germany) gene@gerd-neugebauer.de
License
gn-logic.sty is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY. No author or distributor accepts responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all, unless he says so in writing.
Everyone is granted permission to copy, modify and redistribute gn-logic.sty, provided this copyright notice is preserved and any modifications are indicated.
Download the contents of this package in one zip archive (185.4k).
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.
| Package | gene-logic |
| Bug tracker | https://codeberg.org/gene-TeX-libraries/logic/issues |
| Repository | https://codeberg.org/gene-TeX-libraries/logic |
| Version | 1.5 |
| Licenses | Free license not otherwise listed |
| Copyright | 1995–2026 Gerd Neugebauer |
| Maintainer | Gerd Neugebauer |
| Contained in | TeX Live as gene-logic MiKTeX as gene-logic |
| Topics | Logic Maths |
