arthuraa/ssr-intro
An introduction to Coq through the ssreflect library.
Public GitHub Catalog
Discovered Sep 25, 2026
arthuraa / OpaChat
A simple scalable, real-time web chat application in Opa
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.
#5168115GitHub 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.