Skip to content
AIMarketCap

Leanstral

Model
Mistral AIFamily Leanstrallegacy

Open model for formal mathematical reasoning and Lean theorem proving.

Released
Mar 16, 2026
Context window
—
Modality
—
Open source
Yes
API available
—
Releases
1

Releases

1
Mar 16, 2026Leanstral releasedLeanstral · 1

Mistral AI released Leanstral, an open model for formal theorem proving and Lean code.

Mistral AI Open weightsMistral AILeanstral