../ README.md 30-Jul-2025 19:34 37819 proof-at-the-end.dtx 30-Jul-2025 19:34 87587 proof-at-the-end.ins 30-Jul-2025 19:34 960 proof-at-the-end.pdf 30-Jul-2025 19:34 334875 proof-at-the-end_demo.pdf 30-Jul-2025 19:34 133512 proof-at-the-end_demo.tex 30-Jul-2025 19:34 11561