Back to feed

leanprover vulnerabilities

Every leanprover vulnerability Vulnocalypse is tracking, newest first: whether it’s being exploited, which CERTs have warned about it and how widely it’s covered. Subscribe with the RSS feed for leanprover alerts.

leanprover RSS feed

  1. 19Track

    leanprover lean4: Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free…

    leanprover lean4 CVE-2026-72711
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3
  2. 19Track

    leanprover lean4: Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections

    leanprover lean4 CVE-2026-72844
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3