Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
README.md | 2024-10-25 20:24 | 2.1K | |
manifest.txt | 2024-10-25 20:24 | 1.1K | |
prooftrees.pdf | 2024-10-25 20:24 | 1.1M | |
prooftrees.sty | 2024-10-25 20:24 | 43K | |
prooftrees.tex | 2024-10-25 20:24 | 100K | |
prooftrees_biber.bib | 2024-10-25 20:24 | 1.1K | |