CVE-2026-72711 Blast Radius

MEDIUM • CVSS 6.3The Lean 4 kernel does not check that the body of an opaque declaration is closed. environment::add_opaque omits the check_no_metavar_no_fvar call tha…

Is Your Infrastructure Using These Packages?

EchelonGraph automatically scans your cloud infrastructure and SBOMs to map your exposure to vulnerabilities like CVE-2026-72711.

Start Free Scan →← Back to CVE-2026-72711