30 juin 2026Blog
v1.5
Leanstral 1.5
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
Vitesse
Performance
Modalités
Contexte
256k
Prix
$0
Vitesse
Performance
Modalités
Contexte
256k
Prix
$0
Other Models
