Leanprover vulnerabilities
3 CVEs affecting Leanprover products, 0 known to be exploited (CISA KEV), with EPSS scores. Most affected: LEAN4, Vscode-LEAN4.
- LEAN4: 2 CVEs
- Vscode-LEAN4: 1 CVE
3 CVEs affecting Leanprover products, 0 known to be exploited (CISA KEV), with EPSS scores. Most affected: LEAN4, Vscode-LEAN4.