bits
bits copied to clipboard
Published
20 hours ago •
coq-community
coq-community
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Results
4
bits issues
Sort by
recently updated
recently updated
newest added
`dune` should be made an optional `with-test` dependency then.
E.g. `make verify8` and `make verify16` with `make verify` depending on the two previous build targets. Related issue: https://github.com/coq-community/bits/issues/13
Metadata
22
Stars
6
Forks
Watchers
Owner
Metadata
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]