The package provides a facility to typeset certain logic
formulae. It provides an environment like eqnarray, an
extended newtheorem environment, and several macros.
If possible, get this package from your distribution using its installation manager. (For installation help, click on your distribution's name.)
| Distribution | Package name |
|---|---|
| MiKTeX | gn-logic |
| TeX Live | gene-logic |
You can also visit gene-logic's CTAN directory to browse the source or download the material for installation by hand.
| Documentation on CTAN |
|
||
| Documentation off CTAN | -none known- | ||
| Maintainers |
|
||
| Version | 1.4 | ||
| License | Other free license | ||
| Related packages | -none recorded- | ||
| Keywords |
|
||
| Characterizations |
You can suggest changes to the keywords and characterizations and the maintainer information.
You can get information about any package.