rocq-prover/rocq

5.4K starsWARM
vs

typelead/eta

2.6K starsCOLD

Star Growth Trajectory

Momentum

Growth

WARM
Last 30 days+33 stars

Growth

COLD
Last 30 days+1 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More rocq-prover/rocq comparisons

More typelead/eta comparisons