1.jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
- comonads
- monoid
- +7 more
+17 stars
from 802 · score 2.89
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
9 repositories by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
2.UniMath / UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
- foundations
- rocq
- +1 more
+9 stars
from 1,013 · score 2.30
3.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+7 stars
from 246 · score 2.08
4.uds-psl / coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
+5 stars
from 140 · score 1.79
5.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+3 stars
from 244 · score 1.39
6.rocq-community / corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
- coq-platform
+2 stars
from 115 · score 1.10
7.rocq-community / graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
- mathcomp-ci
+2 stars
from 44 · score 1.10
8.GeoCoq / GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
+1 stars
from 209 · score 0.69
9.rocq-community / math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
- coq-ci
- coq-platform
+1 stars
from 168 · score 0.69