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