1.rocq-prover / equations
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
+1 stars
from 238 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
3 repositories by Attention Score · Oct 30, 2026 – Nov 5, 2026 (UTC)
2.affeldt-aist / monae
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
- mathcomp
- ssreflect
- +2 more
+1 stars
from 77 · score 0.69
3.rocq-community / bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
- coq-platform
- coq-ci
+1 stars
from 25 · score 0.69