rodrigogribeiro/unification
Formalisation of a type unification algorithm in Coq proof assistant.
Public GitHub Catalog
Discovered Sep 26, 2026
rodrigogribeiro / agda-DTP-examples
Public repository discovered through GitHub real-time crawl.
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.
#8302326GitHub System ID
rodrigogribeiroOrganization / User
PublicVisibility
ActiveCatalog Status
More from rodrigogribeiro
rodrigogribeiro/generic
Being a place where rodrigogribeiro study generic programming based on universes on dependently typed languages
rodrigogribeiro/type-theory
Being the materials of type theory course at UFOP
rodrigogribeiro/coinduction
Being a place where rodrigogribeiro tries to learn conduction