← All credits

Gaëtan Gilbert

1 vulnerability record and advisories credit this contributor.

CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close