The Rocq Prover

Pinned Loading

1. rocq rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5.6k 766

2. opam opam Public

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

   OCaml 175 190

3. platform platform Public

   Multi platform setup for Rocq, Rocq libraries and tools

   Shell 247 56

4. platform-docs platform-docs Public

   A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

   Rocq Prover 26 25

5. vsrocq vsrocq Public

   Visual Studio Code extension for Rocq

   Rocq Prover 462 112

6. docker-opam-action docker-opam-action Public

   GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]

   Shell 15 5