Mistral releases Leanstral 1.5 for Lean 4

Archive item — written before sources were shown.

Mistral's Apache-2.0 Leanstral 1.5 (119B MoE, 6B active) is an open code agent for Lean 4 proofs, solving 587 of 672 PutnamBench problems.

Rami Steitieh

Builder and operator. Runs 17 content sites and Trilot LLC on the tools reviewed here.

About RamiHow we verifyEmail