logictools – Additional tools for typesetting formal logic
Adds various tools for typesetting formal logic, including:
- An environment that makes it easier to produce good looking formal logic.
- A few macros that would be of interest to people studying logic at Oxford (or other places with similar notational conventions).
| Quellen | /macros/latex/contrib/logictools |
| Dokumentation | |
| Fehlermeldungen | https://github.com/IToastPotatoes/logictools/issues |
| Ankündigungen | https://github.com/IToastPotatoes/logictools/releases |
| Repository | https://github.com/IToastPotatoes/logictools/tree/main |
| Version | 0.1.1 2025-05-20 |
| Lizenzen | The LaTeX Project Public License 1.3 |
| Copyright | 2025 Miles Min Yin Cheang |
| Betreuer | Miles Min Yin Cheang |
| Enthalten in | TeX Live als logictools MiKTeX als logictools |
| Themen | Mathematik Logik Expl3 |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (394.6k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare