Tagged "lean-4-programming"

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