CertiCoq

icon indicating a website link https://certicoq.org

icon location A Verified Compiler for Gallina, the Specification Language of the Coq Proof Assistant

Results 0 issues of CertiCoq