lean-cve-poc

CVE-2026-72844 : Bug de solidité du noyau Lean 4 Prouver0 = 1 sans axiomes via un contournement de la validation des projections inductives imbriquées...