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