← All credits

Patrick Hulin

1 vulnerability record and advisories credit this contributor.

CVE-2026-72711
Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable