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