Mistral AI 发布面向 Lean 4 的开源代码 Agent Leanstral

Mistral AI 发布 Leanstral，这是面向 Lean 4 的开源代码 Agent，权重采用 Apache 2.0 许可，并可在 Mistral Vibe、free/near-free API endpoint labs-leanstral-2603 和自托管方式使用。