Tagged "lean-4-proof-assistant"

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