Public GitHub Catalog
Discovered Sep 26, 2026
erikhpalmgren / LCC_setoids_in_Coq
Coq proofs of categorical properties of setoids: local cartesian closedure and existence of coequalizers
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.
#6268235GitHub System ID
erikhpalmgrenOrganization / User
PublicVisibility
ActiveCatalog Status