../ README.md 13-Jan-2026 02:10 38K proof-at-the-end.dtx 13-Jan-2026 02:10 86K proof-at-the-end.ins 13-Jan-2026 02:10 961 proof-at-the-end.pdf 13-Jan-2026 02:10 327K proof-at-the-end_demo.pdf 13-Jan-2026 02:10 130K proof-at-the-end_demo.tex 13-Jan-2026 02:10 12K