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.
| Sources | /macros/latex/contrib/gene/logic |
| Documentation | |
| 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 |
Download the contents of this package in one zip archive (185.4k).
Suggestions
Maybe you are interested in the following packages as well.
Community Comments