Skip to content
@coq

The Rocq Prover

Pinned Loading

  1. coq Public

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 5k 676

  2. opam Public

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 133 168

  3. platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 195 51

  4. rfcs Public

    Coq Enhancement Proposals

    56 34

  5. coq.github.io Public

    Source files of the previous coq.inria.fr website

    HTML 15 38

Repositories

Showing 10 of 22 repositories
  • bot Public

    A (Coq Development Team) bot written in OCaml

    OCaml 23 MIT 16 113 (5 issues need help) 5 Updated Mar 26, 2025
  • doc Public

    Coq user manual, automatically deployed

    HTML 0 1 0 0 Updated Mar 26, 2025
  • opam Public

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 133 LGPL-2.1 177 33 (1 issue needs help) 3 Updated Mar 26, 2025
  • coq Public

    Coq is a formal proof management system. 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.

    OCaml 4,997 LGPL-2.1 676 2,539 (21 issues need help) 85 Updated Mar 26, 2025
  • rocq-prover.org Public

    The Rocq Prover Website

    HTML 10 15 23 4 Updated Mar 26, 2025
  • stdlib Public

    Stdlib for the Rocq Prover

    Coq 8 LGPL-2.1 8 71 3 Updated Mar 13, 2025
  • platform-docs Public

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

    Coq 21 11 25 (8 issues need help) 4 Updated Mar 10, 2025
  • vscoq Public

    Visual Studio Code extension for Coq

    OCaml 370 MIT 74 134 (1 issue needs help) 11 Updated Mar 10, 2025
  • platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 195 CC0-1.0 51 46 12 Updated Feb 5, 2025
  • deploy-rocq-prover.org Public

    OCurrent deployment pipeline for rocq-prover.org

    OCaml 0 MIT 0 0 0 Updated Jan 29, 2025
View all repositories

Most used topics

Loading…