{"cpe_name_id":"af9dba68-c26b-4e39-b6f8-309098898018","cpe_uri":"cpe:2.3:a:leanprover:lean4:*:*:*:*:*:*:*:*","created_at":"2026-11-03T10:16:23.880342","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":2133435,"language":"*","notes":"Imported from gcve-enriched-dumps CVE data","other":"*","part":"a","product_id":261073,"product_uuid":"2746d380-2f3a-5e58-919b-1f40e9004842","purl_mappings":[],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Lean4","update":"*","updated_at":"2026-11-03T10:16:23.880344","vendor_id":55192,"vendor_uuid":"db950cca-a0c3-52f1-894e-66cc98c34902","version":"*","vulnerability_references":[{"approved_at":"2026-11-03T10:16:26.926113","cpe_applicability":"vulnerable","id":3635832,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:26.926992","vulnerability_id":"CVE-2026-72711","vulnerability_source":"CVE"},{"approved_at":"2026-11-03T10:16:23.881627","cpe_applicability":"vulnerable","id":3635703,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-11-03T10:16:23.882596","vulnerability_id":"CVE-2026-72844","vulnerability_source":"CVE"}]}