Rocq

Other

3 projects1.9k total stars326 total forks2 languages

Open-source projects built with Rocq

There are currently 3 open-source projects built with Rocq, with a combined total of 1.9k GitHub stars. The most common language among these projects is Rocq Prover.

Showing 3 open-source projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub