VVexdayby TrueHacking›

Overview CVEs Technologies Vendors Weakness types Briefing Live

Home / Technologies / leanprover

Vulnerabilities in leanprover

1 result

CVE-2026-32732NONEXSS in @leanprover/unicode-input-componentEPSS 0.3%

Live Briefing Overview CVEs Exposure by technology Technologies Weakness types Privacy

fontes: CVE List · EPSS (FIRST) · CISA KEV · NVD · PoC-in-GitHub · Exploit-DB

This product uses data from the NVD API but is not endorsed or certified by the NVD. Vexday · um projeto TrueHacking.