coq-extraction topic
List
coq-extraction repositories
chapar
32
Stars
7
Forks
Watchers
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
bits
22
Stars
5
Forks
Watchers
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]