Leanprover Vscode-lean4
1 CVEs affecting Leanprover Vscode-lean4. Latest disclosed: 2026-03-13. Critical: 0, High: 0.
| CVE | Severity | Score | Published | Summary |
|---|---|---|---|---|
CVE-2026-32732 | | 2026-03-13 | 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… |