What’s Vulnerable › Products

leanprover lean4 vulnerabilities

2 known vulnerabilities, 0 confirmed exploited in the wild (CISA KEV), 2 published in the last 12 months.

Check whether your leanprover lean4 version is affected

Latest leanprover lean4 vulnerabilities

• CVE-2026-72711 — Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable (CVSS 6.3)
• CVE-2026-72844 — Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections (CVSS 6.3)