clarus/unicoq
An enhanced unification algorithm for Coq
Public GitHub Catalog
Discovered Oct 2, 2026
clarus / coq-HoTT-opam-repo
A repository to show how to install HoTT from Opam.
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.
#24291170GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
clarus/math-14-janvier
Devoir de Maths le 14 Janvier.
clarus/www
Sources files of the coq.inria.fr website (static part)