| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README.md | 2026/02/21 02:15:56 | 2729 |
| manifest.txt | 2026/02/21 02:15:56 | 2437 |
| prooftrees-code.pdf | 2026/02/21 02:15:56 | 2898569 |
| prooftrees-doc.pdf | 2026/02/21 02:15:56 | 2792056 |
| prooftrees.dtx | 2026/02/21 02:15:56 | 211856 |
| prooftrees.ins | 2026/02/21 02:15:56 | 2498 |
| prooftrees_biber.bib | 2026/02/21 02:15:56 | 1719 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.