| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README.md | 2024-Oct-26 02:24:32 | 2.0K | text/markdown;charset=utf-8 |
| manifest.txt | 2024-Oct-26 02:24:32 | 1.1K | text/plain;charset=utf-8 |
| prooftrees.pdf | 2024-Oct-26 02:24:32 | 1.1M | application/pdf |
| prooftrees.sty | 2024-Oct-26 02:24:32 | 42.8K | text/x-tex;charset=utf-8 |
| prooftrees.tex | 2024-Oct-26 02:24:32 | 100.0K | text/x-tex;charset=utf-8 |
| prooftrees_biber.bib | 2024-Oct-26 02:24:32 | 1.0K | text/x-bibtex;charset=utf-8 |