File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
README | 1590 | 30-Sep-2019 00:26 |
manifest.txt | 649 | 18-Jun-2023 01:04 |
prooftrees.pdf | 911388 | 18-Jun-2023 01:00 |
prooftrees.sty | 42970 | 02-Apr-2022 04:28 |
prooftrees.tex | 94577 | 18-Jun-2023 01:00 |
prooftrees_biber.bib | 899 | 18-Jun-2023 00:55 |