Software
Leanstral 1.5
A model focused on proof engineering and verification in Lean 4.
by Mistral AI
Software
mistral.ai/research- Milestones0
- Sources1
- Operators—
- Components—
Software · No licensed photo on file
A model focused on proof engineering and verification in Lean 4.
Timeline
No milestones recorded for Leanstral 1.5 yet. The timeline fills in as unveilings, tests, contracts and deliveries are sourced.
Sources1
- 1.CompanyAI Research | Mistral
Mistral AI · Supports: System
“Leanstral 1.5 119B total · 6B active Proof engineering and verification in Lean 4.”
Each fact on this page is attached to the sources that support it. Archived copies are linked when we keep one.