../ README.md 26-Jan-2024 21:25 36137 proof-at-the-end.dtx 26-Jan-2024 21:25 86278 proof-at-the-end.ins 26-Jan-2024 21:25 961 proof-at-the-end.pdf 26-Jan-2024 21:25 332640 proof-at-the-end_demo.pdf 26-Jan-2024 21:25 133745 proof-at-the-end_demo.tex 26-Jan-2024 21:25 11561