Thanks to visit codestin.com
Credit goes to Github.com

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 704

  2. opam opam Public

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

    OCaml 156 177

  3. platform platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 221 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 424 91

Repositories

Showing 10 of 22 repositories
  • rocq-prover.org Public

    The Rocq Prover Website

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

    Rocq documentation, automatically deployed

    rocq-prover/doc’s past year of commit activity
    HTML 0 1 0 0 Updated Dec 20, 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,303 LGPL-2.1 704 2,519 (21 issues need help) 64 Updated Dec 20, 2025
  • platform Public

    Multi platform setup for Coq, Coq libraries and tools

    rocq-prover/platform’s past year of commit activity
    Shell 221 CC0-1.0 55 54 10 Updated Dec 18, 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 156 LGPL-2.1 186 32 5 Updated Dec 18, 2025
  • bot Public

    The Rocq Prover bot

    rocq-prover/bot’s past year of commit activity
    OCaml 24 MIT 16 117 (5 issues need help) 8 Updated Dec 15, 2025
  • vsrocq Public

    Visual Studio Code extension for Coq

    rocq-prover/vsrocq’s past year of commit activity
    OCaml 424 MIT 91 159 (1 issue needs help) 17 Updated Dec 10, 2025
  • stdlib Public

    Stdlib for the Rocq Prover

    rocq-prover/stdlib’s past year of commit activity
    Rocq Prover 30 LGPL-2.1 30 81 10 Updated Nov 28, 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