Name Last modified Size Description Parent Directory - README.md 2026-11-06 20:07 1.6K leanify-doc.pdf 2026-11-06 20:07 276K leanify-doc.tex 2026-11-06 20:07 7.3K leanify.sty 2026-11-06 20:07 16K