| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| README.md | 36.9 KiB | 2025-Jun-11 07:11 | |
| proof-at-the-end.dtx | 85.5 KiB | 2025-Jun-11 07:11 | |
| proof-at-the-end.ins | 960 B | 2025-Jun-11 07:11 | |
| proof-at-the-end.pdf | 327.0 KiB | 2025-Jun-11 07:11 | |
| proof-at-the-end_demo.pdf | 130.4 KiB | 2025-Jun-11 07:11 | |
| proof-at-the-end_demo.tex | 11.3 KiB | 2025-Jun-11 07:11 | |