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 |