Lean4 1

• Leanstral：Mistral 用形式化证明让 Vibe Coding 变得可信 2026/03/17