arthuraa/ssr-intro
An introduction to Coq through the ssreflect library.
Public GitHub Catalog
Discovered Sep 25, 2026
arthuraa / el-get
Manage the external elisp bits and pieces upon which you depend!
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.
#3215232GitHub System ID
arthuraaOrganization / User
PublicVisibility
ActiveCatalog Status
More from arthuraa
arthuraa/cufp-2015-tutorial
An introductory tutorial for the Coq proof assistant.
arthuraa/polynomial-solutions
Public repository.
arthuraa/coq-utils
Some basic libraries for Coq.