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 |