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