texlive-gene-logic - Typeset logic formulae, etc
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Crossword |
| Vendor: | Alcance Libre, Inc. |
- Description:
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.
Packages
| texlive-gene-logic-svn15878.1.4-46.fc14.al.noarch [44 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |