Announcements for logictools
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).
| Package | logictools |
| Version | 0.1.1 2025-05-20 |
| Copyright | 2025 Miles Min Yin Cheang |
| Maintainer | Miles Min Yin Cheang |
Atom Atom 1.0 feed with announcements for package logictools.
RSS RSS 2.0 feed with announcements for package logictools.