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