| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 3.1 KiB | Oct 15, 2023 |
| fitchexample.png | 4.6 KiB | Sep 4, 2023 |
| fitchdoc-dimen.pdf | 7.2 KiB | Sep 4, 2023 |
| fitch.sty | 10.2 KiB | Dec 17, 2023 |
| fitch.hacker.txt | 12.3 KiB | Nov 14, 2023 |
| fitchdoc.tex | 21.4 KiB | Dec 17, 2023 |
| fitchdoc.pdf | 272.6 KiB | Dec 17, 2023 |
