sailfish009/coq_bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
CoqApache-2.0
Watchers
No one’s watching this repository yet.
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
CoqApache-2.0
No one’s watching this repository yet.