leanprover Lean4 Vulnerabilities

Leanprover Lean4 vulnerabilities.

JSON RSS CSV 🔔 Create Alert Trigger

20 August 2026

Type Checking Bypass in Lean 4 Kernel by Lean Prover
CVE-2026-72844
LeanproverLean4👾🟡6.8MEDIUM

13 March 2026

XSS Vulnerability in Lean 4 VS Code Extension for Visual Studio Code
CVE-2026-32732
LeanproverVscode-lean4NONE