← All credits

Jason Gross

1 vulnerability record and advisories credit this contributor.

CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline