rocq-prover/repo-8.5
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
rocq-prover / coq.github.io
Source files of the previous coq.inria.fr website
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28241797GitHub System ID
rocq-proverOrganization / User
PublicVisibility
ActiveCatalog Status
More from rocq-prover
rocq-prover/repo-coqs-disabled
The repository for Coq versions for developers.
rocq-prover/repo-unstable-disabled
The repository for development packages.
rocq-prover/repo-stable-disabled
The repository for stable Coq packages.