rodrigogribeiro/unification
Formalisation of a type unification algorithm in Coq proof assistant.
Public GitHub Catalog
Discovered Oct 5, 2026
rodrigogribeiro / DTFL
Agda code for the course dependently typed functional languages - CB0683/2011-01
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.
#30849980GitHub 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