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 1 repositories owned by CertiCoq

certicoq

133
Stars
23
Forks
Watchers

A Verified Compiler for Gallina, Written in Gallina

verified publisher icon CertiCoq