leanprover 厂商相关 3 条 CVE 漏洞，含 AI 中文分析、POC、CVSS 评分与受影响产品。
| CVE ID | 标题 | CVSS | 风险等级 | Published |
|---|---|---|---|---|
| CVE-2026-72711 | Lean 4 <4.32.2 内核接受带有未绑定自由变量的不透明声明 — lean4 CWE-20 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72844 | Lean 4 内核类型检查绕过漏洞 — lean4 CWE-843 | 6.3 | Medium | 2026-08-20 |
| CVE-2026-32732 | Lean 4 VS Code Extension 安全漏洞 — vscode-lean4 CWE-80 | 6.1AI | Medium AI | 2026-03-13 |
本页汇总了 leanprover 厂商截至目前公开的全部 3 条 CVE 漏洞。每条漏洞均包含 CVSS 评分、CWE 弱点分类、受影响产品与参考链接，并附带 AI 生成的中文分析以便快速判断风险。