Tag: formal verification
-
Leanstral: Mistral’s Open-Source Proof Agent for Lean 4
On March 16, 2026, Mistral AI released Leanstral — the first open-source AI agent purpose-built for Lean 4, the formal proof assistant used across mathematical research and verified software development. With 120 billion total parameters but only 6 billion active per token, Leanstral can formally prove that AI-generated code meets its specifications — addressing one […]