ctan-ann - leanify https://www.ctan.org/ctan-ann/rss/leanify.xml CTAN announcements mailing list - for package leanify Sun, 08 Nov 2026 17:06:04 +0100 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/leanify.xml New on CTAN: leanify https://www.ctan.org/ctan-ann/id/c3ec8acd-dacd-449e-c749-8e37c020e84b@ctan.org Markus Rockel submitted the leanify package. Version: 0.3 License: apache2 Summary description: A LaTeX article checked by the Lean proof assistant Announcement text:
leanify: a LaTeX article checked by the Lean proof assistant. ... ]]> Sun, 08 Nov 2026 07:07:57 +0100 https://www.ctan.org/ctan-ann/id/c3ec8acd-dacd-449e-c749-8e37c020e84b@ctan.org