Filename | Modification time | Size |
---|---|---|
README.md | 35 KiB | |
proof-at-the-end.dtx | 84 KiB | |
proof-at-the-end.ins | 961 B | |
proof-at-the-end.pdf | 325 KiB | |
proof-at-the-end_demo.pdf | 131 KiB | |
proof-at-the-end_demo.tex | 11 KiB |
Filename | Modification time | Size |
---|---|---|
README.md | 35 KiB | |
proof-at-the-end.dtx | 84 KiB | |
proof-at-the-end.ins | 961 B | |
proof-at-the-end.pdf | 325 KiB | |
proof-at-the-end_demo.pdf | 131 KiB | |
proof-at-the-end_demo.tex | 11 KiB |