Verzeichnis 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.
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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.
| Paket | gene-logic |
| Fehlermeldungen | |
| Repository | |
| Version | 1.5 |
| Lizenzen | Free license not otherwise listed |
| Copyright | 1995–2026 Gerd Neugebauer |
| Betreuer | Gerd Neugebauer |
| Enthalten in | TeX Live als gene-logic MiKTeX als gene-logic |
| Themen | Mathematik Logik |
