Mistral发布了'Leanstral'，这是Lean 4编程语言的首个开源代码代理。

该工具旨在帮助克服在高风险领域（如研究和关键软件）中手动审查人工智能生成代码的瓶颈。它旨在提高速度和安全性。

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI