leanprover Vscode Lean4 Vulnerabilities

Leanprover Vscode-lean4 vulnerabilities.

JSON RSS CSV 🔔 Create Alert Trigger

13 March 2026

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