nixpkgs / coqPackages.coq-bits - A formalization of bitset operations in Coq

Homepage - https://github.com/coq-community/bits

License - Apache-2.0

Maintainers - Valentin Robert

Releases

20190812 (expand/collapse)
From commit 04cbe1b8 to 00460bd6