| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README.md | 2026-Nov-06 19:07:28 | 1.6K | text/markdown;charset=utf-8 |
| leanify-doc.pdf | 2026-Nov-06 19:07:28 | 275.6K | application/pdf |
| leanify-doc.tex | 2026-Nov-06 19:07:28 | 7.3K | text/x-tex;charset=utf-8 |
| leanify.sty | 2026-Nov-06 19:07:28 | 16.1K | text/x-tex;charset=utf-8 |