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