clarus/unicoq
An enhanced unification algorithm for Coq
Public GitHub Catalog
Discovered Nov 3, 2026
clarus / UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
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.
#50775663GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/math-14-janvier
Devoir de Maths le 14 Janvier.
clarus/www
Sources files of the coq.inria.fr website (static part)
clarus/promote-opam
Promote OPAM for the existing GitHub projects.