Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 36137 | logplain |
-rw-r--r-- | proof-at-the-end.dtx | 86278 | logplain |
-rw-r--r-- | proof-at-the-end.ins | 961 | logplain |
-rw-r--r-- | proof-at-the-end.pdf | 332640 | logplain |
-rw-r--r-- | proof-at-the-end_demo.pdf | 133745 | logplain |
-rw-r--r-- | proof-at-the-end_demo.tex | 11561 | logplain |