../ README.md 11-Jun-2025 12:41 37K proof-at-the-end.dtx 11-Jun-2025 12:41 86K proof-at-the-end.ins 11-Jun-2025 12:41 960 proof-at-the-end.pdf 11-Jun-2025 12:41 327K proof-at-the-end_demo.pdf 11-Jun-2025 12:41 130K proof-at-the-end_demo.tex 11-Jun-2025 12:41 11K