| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 2454 | 04-Sep-2025 04:36 |
| manifest.txt | 2269 | 04-Sep-2025 04:36 |
| prooftrees-code.pdf | 1M | 04-Sep-2025 04:36 |
| prooftrees-doc.pdf | 1M | 04-Sep-2025 04:36 |
| prooftrees.dtx | 203K | 04-Sep-2025 04:36 |
| prooftrees.ins | 2498 | 04-Sep-2025 04:36 |
| prooftrees_biber.bib | 1117 | 04-Sep-2025 04:36 |