Leanstral 1.5: Mistral's Open Lean 4 Proof Agent

Mistral's open-weights Leanstral 1.5 is a free Apache-2.0 Lean 4 code agent that beats Opus 4.6 on FLTEval at one-seventh the cost.