Leanprover Lean4
1 CVEs affecting Leanprover Lean4. Latest disclosed: 2026-08-20. Critical: 0, High: 0.
| CVE | Severity | Score | Published | Summary |
|---|---|---|---|---|
CVE-2026-72844 | Medium | 6.3 | 2026-08-20 | The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::add_induc… |