logictools
Additional tools for typesetting formal logic
- Version:
- 0.1.1
- Copyright:
- Miles Min Yin Cheang
- License:
- lppl1.3
- Packaged on:
- 05/24/2025 10:44:12
- Number of files:
- 2
- Size on disk:
- 16.79 kB
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).