ResearchJul 3, 2026·5 min read
Mistral Releases Leanstral 1.5 for Formal Verification in Lean 4
Mistral AI has launched Leanstral 1.5, an open-source model with 6 billion active parameters designed specifically for automated theorem proving and code verification.
Read more →
