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