| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.md | 37.6 KiB | 2026-01-12 20:40 |
| proof-at-the-end.dtx | 86.4 KiB | 2026-01-12 20:40 |
| proof-at-the-end.ins | 961 B | 2026-01-12 20:40 |
| proof-at-the-end.pdf | 327.1 KiB | 2026-01-12 20:40 |
| proof-at-the-end_demo.pdf | 130.1 KiB | 2026-01-12 20:40 |
| proof-at-the-end_demo.tex | 11.8 KiB | 2026-01-12 20:40 |