Mistral boasts code-proofing agent offers champagne performance on a budget bière

Gallic AI biz Mistral is leaning into making AI code generation more reliable with Leanstral, a coding agent for proofs constructed using the open source Lean programming language. Formal code ...

Published: 2026-03-17