Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.md | 2023-10-16 04:17 | 3.1K | ||
fitchexample.png | 2023-09-05 05:58 | 4.6K | ||
fitchdoc-dimen.pdf | 2023-09-05 06:51 | 7.2K | ||
fitch.sty | 2023-12-18 02:18 | 10K | ||
fitch.hacker.txt | 2023-11-14 09:31 | 12K | ||
fitchdoc.tex | 2023-12-18 02:43 | 21K | ||
fitchdoc.pdf | 2023-12-18 02:43 | 273K | ||