lean-cve-poc

CVE-2026-72844: Bug de Solidez do Kernel do Lean 4 Provando0 = 1 sem axiomas por meio de bypass na validação de projeção de indutivos aninhados...