lean-cve-poc

CVE-2026-72844: Lean 4 カーネルの健全性バグ ネスト帰納的射影の検証バイパスによる、公理なしの0 = 1 の証明。...