mattam82/repo-coqs
The repository for Coq versions for developers.
Public GitHub Catalog
Discovered Oct 6, 2026
mattam82 / math-comp
Mathematical Components
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.
#33350736GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/company-coq
Company-mode backend for Proof General's coq-mode
mattam82/www
Sources files of the coq.inria.fr website (static part)
mattam82/repo-unstable
The repository for development packages.