ctan-ann - leanifyAnnouncements of the Comprehensive TeX Archive Networkctan-ann-leanify2026-11-08T17:06:04ZNew on CTAN: leanifyc3ec8acd-dacd-449e-c749-8e37c020e84b@ctan.org2026-11-08T07:07:57ZMarkus Rockel submitted the
leanify
package.
...
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.
Leanify compiles an ordinary mathematical article, written in LaTeX, to Lean:
...
]]>
CTAN Announcementsctan-ann at ctan.org