Tagged "automated-theorem-proving"

• Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant 17 March 2026