V
Vexday
by TrueHacking
›
PT
ES
EN
Inteligencia
▾
Inteligencia
Exploit Timeline
cola de riesgo
Amenazas
ransomware · malware
Panorama
observatorio
Sala de Triaje
Explorar
▾
Explorar
CVEs
Tecnologías
Vendors
Tipos de fallo
Boletín
En vivo
Inicio
/
Tecnologías
/
leanprover
Vulnerabilidades en
leanprover
1 resultado
CVE-2026-32732
NONE
XSS in @leanprover/unicode-input-component
EPSS
0.3%