arthuraa/coq-utils
Some basic libraries for Coq.
Public GitHub Catalog
Discovered Sep 26, 2026
arthuraa / quadra
An addictive action puzzle game with single player and multiplayer capabilities (Internet or LAN).
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6969522GitHub System ID
arthuraaOrganization / User
PublicVisibility
ActiveCatalog Status
More from arthuraa
arthuraa/sf-grader
Auto grader for Software Foundations
arthuraa/popl2014-papers
Public repository.
arthuraa/poleiro
A blog about Coq