| Filename | Modification time | Size |
|---|---|---|
| README.md | 37 KiB | |
| proof-at-the-end.dtx | 86 KiB | |
| proof-at-the-end.ins | 960 B | |
| proof-at-the-end.pdf | 327 KiB | |
| proof-at-the-end_demo.pdf | 130 KiB | |
| proof-at-the-end_demo.tex | 11 KiB |
| Filename | Modification time | Size |
|---|---|---|
| README.md | 37 KiB | |
| proof-at-the-end.dtx | 86 KiB | |
| proof-at-the-end.ins | 960 B | |
| proof-at-the-end.pdf | 327 KiB | |
| proof-at-the-end_demo.pdf | 130 KiB | |
| proof-at-the-end_demo.tex | 11 KiB |