Filename Modification time Size README.md 2026-11-06 20:07 CET 1649 B leanify-doc.pdf 2026-11-06 20:07 CET 276 KiB leanify-doc.tex 2026-11-06 20:07 CET 7501 B leanify.sty 2026-11-06 20:07 CET 16 KiB