lean-cve-poc

CVE-2026-72844: خطأ سلامة نواة Lean 4 إثبات0 = 1 بدون مسلمات عبر تجاوز التحقق من الإسقاطات الاستقرائية المتداخلة...