Mistral AI Launches Leanstral 1.5 for Advanced Code Agent Capabilities in Lean 4
Mistral AI has released Leanstral 1.5, an Apache-2.0 licensed code agent model designed for Lean 4, specializing in automated theorem proving and proof engineering. The…
Read more