bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
22 stars
10 watching
7 forks
Language: Coq
last commit: 2 months ago bitsetcoqcoq-extractioncoq-librarymathcomppaper-artifactsssreflect