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.1k 681

2. opam opam Public

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

   OCaml 140 169

3. platform platform Public

   Multi platform setup for Coq, Coq libraries and tools

   Shell 201 50

4. platform-docs platform-docs Public

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

   Coq 20 15

5. rfcs rfcs Public

   Rocq RFCs: documents to discuss changes to the Rocq Prover

   56 34

6. vscoq vscoq Public

   Visual Studio Code extension for Coq

   OCaml 379 74