What’s Vulnerable › Products

leanprover vscode-lean4 vulnerabilities

1 known vulnerabilities, 0 confirmed exploited in the wild (CISA KEV), 1 published in the last 12 months.

Check whether your leanprover vscode-lean4 version is affected

Latest leanprover vscode-lean4 vulnerabilities