maximedenes/coq-amd64
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
maximedenes / 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.
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.
#15363052GitHub System ID
maximedenesOrganization / User
PublicVisibility
ActiveCatalog Status
More from maximedenes
maximedenes/coqFFI
Public repository.
maximedenes/cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
maximedenes/repo-stable
The repository for stable Coq packages.