Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80Name 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