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