CertiCoq

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

Pinned Repositories

certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:Coq137 15 1425
certicoq.github.io
2 2 00
VeriFFI
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
Language:Coq30 8 12

CertiCoq's Repositories

CertiCoq/certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:Coq137 15 1425
CertiCoq/VeriFFI
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
Language:Coq30 8 12
CertiCoq/certicoq.github.io
2 2 00