rocq-prover/opam-coq-shell
attempt to create a simplified shell for opam when installing coq
Public GitHub Catalog
Discovered Oct 5, 2026
rocq-prover / repo-8.5
Public repository discovered through GitHub real-time crawl.
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.
#29883084GitHub System ID
rocq-proverOrganization / User
PublicVisibility
ActiveCatalog Status
More from rocq-prover
rocq-prover/opam
Archive for all Rocq and Coq-related opam packages organized in various repositories
rocq-prover/coq.github.io
Source files of the previous coq.inria.fr website
rocq-prover/repo-coqs-disabled
The repository for Coq versions for developers.