Leanstral
✅ ActiveMistral model specialized for theorem proving, formal reasoning, and Lean workflows
Context Window
128K
Input Price
$0.20/1M
Output Price
$0.60/1M
Released
Mar 19, 2026
Capabilities
textcodereasoningformal-methods
Try Leanstral via Crazyrouter API
Access Leanstral and 100+ other AI models with a single API key.
Get API Access →Version History
Mar 19, 2026New Release
Leanstral released for formal mathematics and Lean-assisted reasoning tasks