rocq-prover/opam

GitHub

Archive for all Rocq and Coq-related opam packages organized in various repositories

OCaml172 stars183 forksLGPL-2.1

coq opam opam-repository rocq-prover

Momentum

rocq-prover/opam has 172 GitHub stars.

It currently ranks #11228 daily, #12308 weekly, #15846 monthly by momentum on Trending Repos; its best-ever rank is #4473.

Rankings

PeriodRankScore

Daily

#112280.0

Weekly

#123080.0

Monthly

#158460.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4473

Format

Markdown

[![rocq-prover/opam badge](https://trending-repos.com/badge/rocq-prover/opam.svg?v=3)](https://trending-repos.com/repositories/rocq-prover/opam?utm_source=github&utm_medium=badge)

rocq-prover/opam

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

rocq-prover/opam

Momentum

Rankings

Engagement

Similar trending repositories

Embeds