lean-cve-poc

CVE-2026-72844: Lean 4 커널 건전성 버그 중첩 귀납 프로젝션 검증 우회를 통해0 = 1을 공리 없이 증명하기...