rocq-prover / opamLinks
Archive for all Rocq and Coq-related opam packages organized in various repositories
☆142Updated this week
Alternatives and similar repositories for opam
Users that are interested in opam are comparing it to the libraries listed below
Sorting:
- A function definition package for Coq☆231Updated 3 weeks ago
- Coq plugin embedding elpi