mattam82/Coq-Developers-Manual
Additional documentation for the developers of Coq
Public GitHub Catalog
Discovered Sep 28, 2026
mattam82 / groupoid
Internalizing intensional type theory
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.
#12326889GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/opam-coq-repo
Public repository.
mattam82/Coq-unif
Formalization of unification in Coq
mattam82/HoTT
Homotopy type theory