Mistral · Agent

Mistral 开源 Leanstral 代码 agent，支持 Lean 4

Mistral 发布 Leanstral，首个针对 Lean 4 的开源代码 agent。该项目为形式化验证场景下的编码提供可信赖的自动化辅助，旨在将 agent 能力引入严谨的数学证明与程序验证领域，降低使用 Lean 4 的门槛。

导读

这条暂时没有深度导读，点上方「访问项目本体」直接到源页面查看。

原文摘要

First open-source code agent for Lean 4.