Leanprover

    Dashboard / Vendors

    Products: 2
    Vulnerabilities: 3
    Known Exploited: 0
    0
    Critical Level Threats
    0
    High Level Threats
    2
    Medium Level Threats
    0
    Low Level Threats

    Vulnerabilities

    100806040200
    JanFebMarAprMayJunJulAugSepOctNovDec
    Critical Level Threats
    High Level Threats
    Medium Level Threats
    Low Level Threats

    Products Security index

    Actions
    Items Per Page

    Vulnerabilities

    CVE-2026-72711

    Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable

    Last Modified: Aug 24, 2026
    Published: Aug 24, 2026

    CVE-2026-72844

    Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections

    Last Modified: Aug 21, 2026
    Published: Aug 20, 2026

    CVE-2026-32732

    XSS in @leanprover/unicode-input-component

    Last Modified: Apr 16, 2026
    Published: Mar 13, 2026
    Items Per Page