LModel ReleasesLeanstral by Mistral AI: The Open-Source Proof Agent Revolutionizing Code VerificationMistral AI introduces Leanstral, the first open-source code agent for Lean 4 formal proof engineering, outperforming Claude Sonnet 4.6 at 15x lower cost.3 months ago6 min readRead article