coq-proof-assistant topic
List
coq-proof-assistant repositories
qcert
55
Stars
9
Forks
Watchers
Compilation and Verification of Data-Centric Languages
