Apache/2.4.58 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name 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