amahboubi/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 Oct 6, 2026
amahboubi / alin-walks
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.
#33872331GitHub System ID
amahboubiOrganization / User
PublicVisibility
ActiveCatalog Status
More from amahboubi
amahboubi/tutorial
Lean Tutorials
amahboubi/simplicials
Experimental Coq dev
amahboubi/HoTT
Homotopy type theory