Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README.md | 2024-01-26 17:55 | 35K | ||
proof-at-the-end.dtx | 2024-01-26 17:55 | 84K | ||
proof-at-the-end.ins | 2024-01-26 17:55 | 961 | ||
proof-at-the-end.pdf | 2024-01-26 17:55 | 325K | ||
proof-at-the-end_demo.pdf | 2024-01-26 17:55 | 131K | ||
proof-at-the-end_demo.tex | 2024-01-26 17:55 | 11K | ||