| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| fitchexample.png | 4.6 KiB | 2023-Sep-04 20:58 | |
| fitchdoc.tex | 21.4 KiB | 2023-Dec-17 17:43 | |
| fitchdoc.pdf | 272.6 KiB | 2023-Dec-17 17:43 | |
| fitchdoc-dimen.pdf | 7.2 KiB | 2023-Sep-04 21:51 | |
| fitch.sty | 10.2 KiB | 2023-Dec-17 17:18 | |
| fitch.hacker.txt | 12.3 KiB | 2023-Nov-14 00:31 | |
| README.md | 3.1 KiB | 2023-Oct-15 19:17 | |