Software development
fromTheregister
10 hours agoMistral's new agent proofs your code on the cheap
Mistral's Leanstral uses formal code verification in Lean programming language to improve AI code generation reliability while offering significantly lower costs than competitors like Claude.