certicoq / veriffi Goto Github PK
View Code? Open in Web Editor NEWVeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
License: MIT License