clarus/www
Sources files of the coq.inria.fr website (static part)
Public GitHub Catalog
Discovered Oct 2, 2026
clarus / slides-coq-gt-october-2014
The slides for Coq WG of October 2014.
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.
#25580678GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/promote-opam
Promote OPAM for the existing GitHub projects.
clarus/UniverseComparator
A tool to compare universe levels in Coq.
clarus/template-coq
Reflection library for Coq