qcert in coq-community/awesome-coq

Compilation and Verification of Data-Centric Languages

created at June 11, 2016, 1:44 p.m.

Coq

6 +0

56 +0

9 +0

GitHub
Most stars Fewest stars Most forks Fewest forks Most watchers Fewest watchers Recently created Least recently created Recently updated Least recently updated Most repositories Fewest repositories
All languages 1 Coq 1