coq-bits

A bit vector library

opam install coq-bits.1.0.0
homepage
https://github.com/coq-community/bits
license
Apache-2.0
bugs tracker
https://github.com/coq-community/bits/issues
dependencies
"ocaml" {(>= "4.05" & < "4.10~")} "coq" {(>= "8.7" & < "8.13~") | (= "dev")} "coq-mathcomp-algebra" {(>= "1.7" & < "1.12~") | (= "dev")}
source
https://github.com/coq-community/bits/archive/1.0.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-bits/coq-bits.1.0.0