rocq-community/bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Public GitHub Catalog
Discovered Sep 28, 2026
rocq-community / dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#13559911GitHub System ID
rocq-communityOrganization / User
PublicVisibility
ActiveCatalog Status
More from rocq-community
rocq-community/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
rocq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
rocq-community/paramcoq
Old Coq plugin for parametricity [maintainer=@ppedrot]