Goal Reached Thanks to every supporter — we hit 100%!

Goal: 1000 CNY · Raised: 1336 CNY

100%
Buy Us a Coffee

leanprover — Vulnerabilities & Security Advisories 3

Browse all 3 CVE security advisories affecting leanprover. AI-powered Chinese analysis, POCs, and references for each vulnerability.

Found 2 results / 3 Clear Filters
Top products by leanprover: lean4 vscode-lean4
CVE ID Title CVSS Severity Published
CVE-2026-72711 Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable — lean4 CWE-20 6.3 Medium 2026-08-24
CVE-2026-72844 Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections — lean4 CWE-843 6.3 Medium 2026-08-20

This page lists every published CVE security advisory associated with leanprover. Each entry links to a detailed page with CVSS scoring, CWE classification, affected products and references. AI-generated Chinese analysis is provided for fast triage.