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.4k 715

  2. opam opam Public

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

    OCaml 160 177

  3. platform platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 225 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 19

  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 433 94

Repositories

Showing 10 of 22 repositories
  • 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,350 LGPL-2.1 715 2,476 (21 issues need help) 59 Updated Feb 13, 2026
  • doc Public

    Rocq documentation, automatically deployed

    rocq-prover/doc’s past year of commit activity
    HTML 0 1 0 0 Updated Feb 13, 2026
  • 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 160 LGPL-2.1 186 33 6 Updated Feb 11, 2026
  • stdlib Public

    Stdlib for the Rocq Prover

    rocq-prover/stdlib’s past year of commit activity
    Rocq Prover 31 LGPL-2.1 30 78 10 Updated Feb 10, 2026
  • rocq-prover.org Public

    The Rocq Prover Website

    rocq-prover/rocq-prover.org’s past year of commit activity
    HTML 12 25 25 (1 issue needs help) 7 Updated Feb 9, 2026
  • platform Public

    Multi platform setup for Coq, Coq libraries and tools

    rocq-prover/platform’s past year of commit activity
    Shell 225 CC0-1.0 55 53 11 Updated Feb 5, 2026
  • 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 19 46 (8 issues need help) 8 Updated Feb 5, 2026
  • bot Public

    The Rocq Prover bot

    rocq-prover/bot’s past year of commit activity
    OCaml 26 MIT 16 115 (5 issues need help) 6 Updated Jan 30, 2026
  • vsrocq Public

    Visual Studio Code extension for Coq

    rocq-prover/vsrocq’s past year of commit activity
    OCaml 433 MIT 94 161 (1 issue needs help) 19 Updated Dec 10, 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

Top languages

Loading…

Most used topics

Loading…