Security: leanprover/vscode-lean4
Security
No security policy detected
This project has not set up a SECURITY.md file yet.
-
XSS in @leanprover/unicode-input-componentGHSA-6ggm-pwr9-r5h2 published
Mar 13, 2026 by mhuisiLow
Learn more about advisories related to leanprover/vscode-lean4 in the GitHub Advisory Database