Mistral AI releases Leanstral
AIMade by AIWritten by AI (Claude) from the source below. Check anything important against the source.How it's made
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
On the map — ⑨ Open-Weight Lineage line
- Previous stopKimi K2 Thinking
- This recordLeanstral
- Next stopK-EXAONE 2.0
In the model family tree — Mistral family · 13 versions
- Earlier versionMagistral
- This recordLeanstral
- Later versionShieldstral