Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
README | 2019-Sep-29 20:26:37 | 1.5K | text/plain; charset=utf-8 |
manifest.txt | 2023-Jun-17 21:04:50 | 0.6K | text/plain; charset=utf-8 |
prooftrees.pdf | 2023-Jun-17 21:00:48 | 890.0K | application/pdf |
prooftrees.sty | 2022-Apr-02 00:28:09 | 41.9K | text/x-tex; charset=utf-8 |
prooftrees.tex | 2023-Jun-17 21:00:05 | 92.3K | text/x-tex; charset=utf-8 |
prooftrees_biber.bib | 2023-Jun-17 20:55:26 | 0.8K | text/x-bibtex; charset=utf-8 |