rocq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Public GitHub Catalog
Discovered Sep 25, 2026
rocq-community / coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
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.
#5510640GitHub System ID
rocq-communityOrganization / User
PublicVisibility
ActiveCatalog Status
More from rocq-community
rocq-community/paramcoq
Old Coq plugin for parametricity [maintainer=@ppedrot]
rocq-community/regexp-Brzozowski
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
rocq-community/dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]