Lean4 kernel undefined behavior vulnerability fix (PR #14498)
Security Advisory
PR #14498
High
LeanProver
Affected:
- Lean4 < releases/v4.32.0
- Lean4 < releases/v4.33.0
Fixed in:
- releases/v4.32.0
- releases/v4.33.0
Referenced CVEs:
CVE-2026-72711 · 6.3
文章内图片已隐藏以节省流量 · Upgrade to Pro to view images & offline archive
This content was auto-fetched from github.com, cleaned by our LLM pipeline, and translated to English. View original.