Skip to content
AIMarketCap

Leanstral 1.5

Model
Mistral AIFamily Leanstralactive

Updated formal-reasoning model for Lean theorem proving.

Released
Jul 2, 2026
Context window
—
Modality
—
Open source
Yes
API available
—
Releases
1

Releases

1
Jul 2, 2026Leanstral 1.5 releasedLeanstral 1.5 · 1.5

Mistral AI released Leanstral 1.5 with improved formal reasoning and theorem-proving capabilities.

Mistral AI Model updateMistral AILeanstral 1.5