mattam82/coq-forcing
Tentative implementation of call-by-name forcing in Coq
Public GitHub Catalog
Discovered Sep 29, 2026
mattam82 / opam-coq-repo
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.
#14754512GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/metacoq
Reflection library for Coq
mattam82/Russell
Public repository.
mattam82/coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories