fitch
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.
Ecosystem
ctan.org
ctan.org
Latest Release
about 2 years ago
1.0
about 2 years ago
Versions
1
1
Loading...
Readme
Loading...
Links
| Registry | ctan.org |
| Source | Repository |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:ctan/fitch
spec |
| License | LPPL-1.3a |
| First Release | about 2 years ago |
| Last Synced | 3 days ago |