LEAN 4
Lean 4
Mistral AI Launches Leanstral Open-Source Proof Agent for Lean 4
Mistral releases Leanstral, a 6B parameter AI agent for Lean 4 formal verification, beating larger models at 1/15th the cost under Apache 2.0 license.