lean-cve-poc

CVE-2026-72844：Lean 4 内核健全性漏洞 通过嵌套归纳类型投影验证绕过，在无公理条件下证明0 = 1。 字段| 值 ---|--- CVE| CVE-2026-72844 安全公告| VulnCheck VCSA 缺陷报告| leanprover/lean414576 修复| leanprover/lean414577 影响版本| Lean 4 ≤ v4.31.0 / nightly ≤ 2026-07-27 修复版本| nightly 2026-07-29+ / v4.32.2 CVSS 4.0|...