vulntracker
.io
CVE Database
All CVEs
Vendors
Products
Account
Pricing
Feedback
Sign in
© 2026 vulntracker.io
Leanprover Vscode LEAN4
Product
Products
Leanprover
Leanprover Vscode LEAN4
Sign in
Unknown
leanprover-vscode-lean4
Affected by
…
Versions
1
Type
Unknown
Why is it called this? 2 raw source names
Affected
…
Runs on
…
Versions
1
CVE-2026-32732
affected
v < 0.2.0
60%
60%
n/a
2026-03-13
