Apache/2.4.58 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
README.md 2026-11-14 00:02 2.2K
leanify-doc.pdf 2026-11-14 00:02 283K
leanify-doc.tex 2026-11-14 00:02 11K
leanify.sty 2026-11-14 00:02 21K