Leanprover vulnerabilities

Products

• Lean4 2

Newest

• leanprover lean4 Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable CVE-2026-72711 Public exploit 6.8 MediumAugust 24, 2026
• leanprover lean4 Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections CVE-2026-72844 Public exploit 6.8 MediumAugust 20, 2026
• leanprover vscode-lean4 XSS in @leanprover/unicode-input-component CVE-2026-32732 Fix available 0.0 NoneMarch 13, 2026