Toggle navigation
Coq OPAM
Get started
github.com/coq/opam-coq-archive
coq-
bits
1.0.0
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