Thomas Kahle

Home
Activities
Publications
Teaching
Group
Blog
CV

Auto Formalization 1

Created on May 04, 2026

2026

New blog post: Auto-formalization I: Keep Trying.
This is a report on auto-formalizing the 2010 Binomial Edge Ideals paper in Lean.

© Copyright 2026 Thomas Kahle. Powered by Jekyll with al-folio theme.