All 1 CVE vulnerabilities found in lean4, with AI-generated Chinese analysis, references, and POCs.
Vendor: leanprover
| CVE ID | Title | CVSS | Severity | Published |
|---|---|---|---|---|
| CVE-2026-72844 | Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections CWE-843 | 6.3 | Medium | 2026-08-20 |
All 1 known CVE vulnerabilities affecting lean4 with full Chinese analysis, references, and POCs where available.