All 2 CVE vulnerabilities found in lean4, with AI-generated Chinese analysis, references, and POCs.
Vendor: leanprover
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-72711 | Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable CWE-20 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72844 | Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections CWE-843 | 6.3 | Medium | 2026-08-20 |
All 2 known CVE vulnerabilities affecting lean4 with full Chinese analysis, references, and POCs where available.