Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
fitchexample.png | 2023-09-04 22:58 | 4.6K | |
fitchdoc.tex | 2023-12-17 18:43 | 21K | |
fitchdoc.pdf | 2023-12-17 18:43 | 273K | |
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 | |
README.md | 2023-10-15 21:17 | 3.1K | |