Mistral AI·· 2026-03-17AI 評分55
Mistral AI 開源 Leanstral，推出面向 Lean 4 的程式碼形式化證明智能體
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 導讀
Mistral AI 開源 Leanstral，一款為 Lean 4 設計、用於程式碼生成與形式化證明的程式碼智能體，採用 6B active parameters。
來源：Mistral AI · mistral.ai