Leanstral 1.5
Article URL: https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06 Comments URL: https://news.ycombinator.com/item?id=48738938 Points: 119 # Comments: 26
![]()
June 30, 2026
v1.5
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
Speed
Performance
Modalities
Context
256k
Price
$0
Speed
Performance
Modalities
Context
256k
Price
$0