Mistral AI releases Leanstral
Released Leanstral — an open-source code agent for Lean 4 (120B-A6B, Apache 2.0). Released FLTEval, a formal-methods evaluation suite, at the same time
Why it matters
A move toward mechanically checking AI-generated code against formal specifications. Shifted the evaluation axis from competition math to contributions to real formalization projects
Source — Primary sources first; secondary reports are labelled “Press”
Officialmistral.aihttps://mistral.ai/news/leanstral/Added in Week 35, 2026 · See that week