| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| LICENSE | 18.7 KiB | 2026-Jul-31 10:43 |
| README.md | 5.2 KiB | 2026-Jul-31 10:43 |
| proofgraph.dtx | 119.3 KiB | 2026-Jul-31 10:43 |
| proofgraph.ins | 2.5 KiB | 2026-Jul-31 10:43 |
| proofgraph.pdf | 494.3 KiB | 2026-Jul-31 10:43 |