zeldovich/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Public GitHub Catalog
Discovered Sep 27, 2026
zeldovich / bitcoin
Bitcoin integration/staging tree
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.
#9799583GitHub System ID
zeldovichOrganization / User
PublicVisibility
ActiveCatalog Status
More from zeldovich
zeldovich/hotcrp-buzzer
Public repository.
zeldovich/meteor
Meteor, an ultra-simple, database-everywhere, data-on-the-wire, pure-Javascript web framework.
zeldovich/krb5
mirror of MIT krb5 repository