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).
| Sources | /macros/latex/contrib/logictools |
| Documentation | |
| Bug tracker | https://github.com/IToastPotatoes/logictools/issues |
| Announcements | https://github.com/IToastPotatoes/logictools/releases |
| Repository | https://github.com/IToastPotatoes/logictools/tree/main |
| Version | 0.1.1 2025-05-20 |
| Licenses | The LaTeX Project Public License 1.3 |
| Copyright | 2025 Miles Min Yin Cheang |
| Maintainer | Miles Min Yin Cheang |
| Contained in | TeX Live as logictools MiKTeX as logictools |
| Topics | Logic Maths |
Download the contents of this package in one zip archive (394.6k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments