Leanstral
Model FamilyMistral AIactive
Models specialized for formal theorem proving and Lean code.
- Mar 16, 2026
- —
- —
- —
- —
- 0
Models in this family
| Model | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|
| Leanstral 1.5 | Leanstral | Jul 2, 2026 | — | Yes | — | active |
| Leanstral | Leanstral | Mar 16, 2026 | — | Yes | — | legacy |
Releases
No releases recorded for this entry.