arthuraa/ssr-intro
An introduction to Coq through the ssreflect library.
Public GitHub Catalog
Discovered Sep 24, 2026
arthuraa / umamao
Free and open source Q&A software, open source stackoverflow style app written in ruby, rails, mongomapper and mongodb.
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.
#1125955GitHub 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.