+30 stars
from 12,852 · score 3.43
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
7 repositories by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
2.rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
+15 stars
from 5,643 · score 2.77
3.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
+1 stars
from 1,021 · score 0.69
4.statebox / idris-ct
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
+1 stars
from 272 · score 0.69
5.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+1 stars
from 252 · score 0.69
6.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+1 stars
from 246 · score 0.69
7.uds-psl / coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
+1 stars
from 144 · score 0.69