Model ReleasesMistral AI introduces Leanstral, the first open-source code agent for Lean 4 formal proof engineering, outperforming Claude Sonnet 4.6 at 15x lower cost.6 months ago6 min read