rocq-community / bitsLinks

A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
23Updated last month

Alternatives and similar repositories for bits

Users that are interested in bits are comparing it to the libraries listed below

Sorting: