#lean 4

2 briefings

Mistral's Open-Source Leanstral 1.5 Aces Math Proofs — and Finds Real Bugs

Jul 4, 2026, 12:01 PM

Mistral's New Leanstral 1.5 Cracks 587 of 672 Hardest Math Proofs

Jul 4, 2026, 10:22 AM