arthuraa/ssr-intro
An introduction to Coq through the ssreflect library.
Public GitHub Catalog
Discovered Oct 21, 2026
arthuraa / polynomial-solutions
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.
#41040040GitHub System ID
arthuraaOrganization / User
PublicVisibility
ActiveCatalog Status
More from arthuraa
arthuraa/cufp-2015-tutorial
An introductory tutorial for the Coq proof assistant.
arthuraa/coq-utils
Some basic libraries for Coq.
arthuraa/sf-grader
Auto grader for Software Foundations