Skip to content
@rocq-prover

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.3k 701

  2. opam opam Public

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

    OCaml 154 176

  3. platform platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 218 55

  4. platform-docs platform-docs Public

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

    Rocq Prover 23 18

  5. rfcs rfcs Public

    Rocq RFCs: documents to discuss changes to the Rocq Prover

    60 36

  6. vsrocq vsrocq Public

    Visual Studio Code extension for Coq

    OCaml 418 89

Repositories

Showing 10 of 22 repositories
  • doc Public

    Rocq documentation, automatically deployed

    rocq-prover/doc’s past year of commit activity
    HTML 0 1 0 0 Updated Dec 1, 2025
  • 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 environment for semi-interactive development of machine-checked proofs.

    rocq-prover/rocq’s past year of commit activity
    OCaml 5,275 LGPL-2.1 701 2,506 (21 issues need help) 60 Updated Dec 1, 2025
  • rocq-prover.org Public

    The Rocq Prover Website

    rocq-prover/rocq-prover.org’s past year of commit activity
    HTML 11 23 22 (1 issue needs help) 4 Updated Dec 1, 2025
  • vsrocq Public

    Visual Studio Code extension for Coq

    rocq-prover/vsrocq’s past year of commit activity
    OCaml 418 MIT 89 158 (1 issue needs help) 13 Updated Nov 28, 2025
  • stdlib Public

    Stdlib for the Rocq Prover

    rocq-prover/stdlib’s past year of commit activity
    Rocq Prover 30 LGPL-2.1 28 81 10 Updated Nov 28, 2025
  • opam Public

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

    rocq-prover/opam’s past year of commit activity
    OCaml 154 LGPL-2.1 185 32 5 Updated Nov 27, 2025
  • platform Public

    Multi platform setup for Coq, Coq libraries and tools

    rocq-prover/platform’s past year of commit activity
    Shell 218 CC0-1.0 55 54 11 Updated Nov 26, 2025
  • bot Public

    The Rocq Prover bot

    rocq-prover/bot’s past year of commit activity
    OCaml 24 MIT 17 117 (5 issues need help) 9 Updated Nov 14, 2025
  • platform-docs Public

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

    rocq-prover/platform-docs’s past year of commit activity
    Rocq Prover 23 18 45 (8 issues need help) 8 Updated Jul 29, 2025
  • deploy-rocq-prover.org Public

    OCurrent deployment pipeline for rocq-prover.org

    rocq-prover/deploy-rocq-prover.org’s past year of commit activity
    OCaml 0 MIT 0 0 0 Updated Mar 27, 2025
View all repositories

Most used topics

coq rocq-prover