rocq-prover/opam

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

OCaml171 stars182 forksLGPL-2.1

coqopamopam-repositoryrocq-prover

Rankings

Daily

#6383

Weekly

#11777

Monthly

#14206

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/rocq-prover/opam.svg)

HTML

<img src="https://trending-repos.com/badge/rocq-prover/opam.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/rocq-prover/opam.svg