Lean 4 内核类型混淆漏洞 CVE PoC 及证明验证绕过分析
Security Advisory
CVE
High
Lean
Affected:
- Lean 4 v4.31.0
- Lean 4 nightly <= 2026-07-27
Fixed in:
- Lean 4 nightly >= 2026-07-29
Referenced CVEs:
CVE-2026-72844 · 6.3
文章内图片已隐藏以节省流量 · 升级 Pro 后可见图片及离线存档
本文由本平台从 github.com 自动抓取，经 LLM 流水线清洗、双语翻译。版权归原作者。查看原文。