mukeshtiwari/formalized-voting
Public repository.
Public GitHub Catalog
Discovered Nov 11, 2026
mukeshtiwari / coq-graph
This is coq graph library taken from graph-basics.
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.
#63389133GitHub System ID
mukeshtiwariOrganization / User
PublicVisibility
ActiveCatalog Status
More from mukeshtiwari
mukeshtiwari/ABCDEFGHPPP
(AB - CD = EF) + GH = PPP problem
mukeshtiwari/sicp
codes related to structure and interpretation of computer programs
mukeshtiwari/ud120-projects
Starter project code for students taking Udacity ud120