mpardalos/Vericert-Fun
A formally verified high-level synthesis tool based on CompCert and written in Coq.
CoqGPL-3.0
No issues in this repository yet.
A formally verified high-level synthesis tool based on CompCert and written in Coq.
CoqGPL-3.0
No issues in this repository yet.