lean-cve-poc

CVE-2026-72844: Error de solidez del kernel de Lean 4 Demostrando0 = 1 sin axiomas mediante la evasión de la validación de proyecciones inductivas anidadas...