lean-cve-poc

CVE-2026-72844: Lean 4 커널 건전성 버그 중첩 귀납 프로젝션 검증 우회를 통해0 = 1을 공리 없이 증명하기. Field| Value ---|--- CVE| CVE-2026-72844 Advisory| VulnCheck VCSA Bug report| leanprover/lean414576 Fix| leanprover/lean414577 Affected| Lean 4 ≤ v4.31.0 / nightly ≤ 2026-07-27 Fixed in| nightly 2026-07-29+ / v4.32.2 CVSS 4.0...