GitHub repository: CertiCoq/VeriFFI
Primary language: Coq
Created: 2021-01-20T23:28:19Z
Description: VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project