| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 2118 | 26-Oct-2024 02:24 |
| manifest.txt | 1140 | 26-Oct-2024 02:24 |
| prooftrees.pdf | 1M | 26-Oct-2024 02:24 |
| prooftrees.sty | 43K | 26-Oct-2024 02:24 |
| prooftrees.tex | 100K | 26-Oct-2024 02:24 |
| prooftrees_biber.bib | 1117 | 26-Oct-2024 02:24 |