Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.md | 2024-10-26 02:24 | 2.1K | ||
manifest.txt | 2024-10-26 02:24 | 1.1K | ||
prooftrees.pdf | 2024-10-26 02:24 | 1.1M | ||
prooftrees.sty | 2024-10-26 02:24 | 43K | ||
prooftrees.tex | 2024-10-26 02:24 | 100K | ||
prooftrees_biber.bib | 2024-10-26 02:24 | 1.1K | ||