Leanprover Vscode-Lean4
1 CVEs affecting Leanprover Vscode-Lean4. Latest disclosed: 2026-03-16. Critical: 0, High: 0.
| CVE | Severity | Score | Published | Summary |
|---|---|---|---|---|
CVE-2026-32732 | | 2026-03-16 | Lean 4 VS Code Extension is a Visual Studio Code extension for the Lean 4 proof assistant. Projects that use @leanprover/unicode-input-component are vulnerable… |