lean-cve-poc

CVE-2026-72844: Ошибка обоснованности ядра Lean 4 Доказательство0 = 1 без аксиом через обход проверки проекции вложенного индуктивного типа...