/macros/latex/contrib/proof-at-the-end/
../
README.md
proof-at-the-end.dtx
proof-at-the-end.ins
proof-at-the-end.pdf
proof-at-the-end_demo.pdf
proof-at-the-end_demo.tex