New on CTAN: leanify

· Ctan · Nov. 8, 2026, 7:10 a.m.
mathematics LaTeX software development Lean proof assistant
Summary
This post announces the release of the leanify package, which allows LaTeX articles to be checked by the Lean proof assistant. The package is designed to help compile mathematical articles into Lean format.
Read full post on www.ctan.org →
AUTHOR