rocq-prover / opam

Archive for all Rocq and Coq-related opam packages organized in various repositories
133Updated this week

Alternatives and similar repositories for opam:

Users that are interested in opam are comparing it to the libraries listed below