Ankündigungen für 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).
| Paket | logictools |
| Version | 0.1.1 2025-05-20 |
| Copyright | 2025 Miles Min Yin Cheang |
| Betreuer | Miles Min Yin Cheang |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket logictools.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket logictools.