Vulnerabilities in leanprover

3 results
CVE-2026-32732NONEXSS in @leanprover/unicode-input-componentEPSS 0.3%CVE-2026-72844MEDIUMLean 4 Kernel Type Checking Bypass via Mismatched Structure ProjectionsEPSS 0.2%CVE-2026-72711MEDIUMLean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free VariableEPSS 0.2%