Skip to content
@coq

Coq

Pinned Loading

  1. coq 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 4.9k 666

  2. opam opam Public

    Archive for all Coq related OPAM packages organized in various repositories

    OCaml 133 167

  3. platform platform Public

    Multi platform setup for Coq, Coq libraries and tools

    Shell 192 50

  4. rfcs rfcs Public

    Coq Enhancement Proposals

    54 34

  5. coq.github.io coq.github.io Public

    Source files of the coq.inria.fr website

    HTML 15 38

Repositories

Showing 10 of 22 repositories
  • vscoq Public

    Visual Studio Code extension for Coq

    coq/vscoq’s past year of commit activity
    OCaml 361 MIT 74 126 (1 issue needs help) 12 Updated Feb 12, 2025
  • opam Public

    Archive for all Coq related OPAM packages organized in various repositories

    coq/opam’s past year of commit activity
    OCaml 133 LGPL-2.1 176 33 (1 issue needs help) 3 Updated Feb 12, 2025
  • rocq-prover.org Public

    The Rocq Prover Website

    coq/rocq-prover.org’s past year of commit activity
    HTML 9 12 17 4 Updated Feb 12, 2025
  • stdlib Public

    Stdlib for the Rocq Prover

    coq/stdlib’s past year of commit activity
    Coq 5 LGPL-2.1 6 70 0 Updated Feb 12, 2025
  • doc Public

    Coq user manual, automatically deployed

    coq/doc’s past year of commit activity
    HTML 0 1 0 0 Updated Feb 12, 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.

    coq/coq’s past year of commit activity
    OCaml 4,930 LGPL-2.1 666 2,536 (22 issues need help) 83 Updated Feb 12, 2025
  • platform-docs Public

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

    coq/platform-docs’s past year of commit activity
    Coq 21 11 26 (8 issues need help) 6 Updated Feb 10, 2025
  • platform Public

    Multi platform setup for Coq, Coq libraries and tools

    coq/platform’s past year of commit activity
    Shell 192 CC0-1.0 50 45 12 Updated Feb 5, 2025
  • deploy-rocq-prover.org Public

    OCurrent deployment pipeline for rocq-prover.org

    coq/deploy-rocq-prover.org’s past year of commit activity
    OCaml 0 MIT 0 0 0 Updated Jan 29, 2025
  • bot Public

    A (Coq Development Team) bot written in OCaml

    coq/bot’s past year of commit activity
    OCaml 23 MIT 16 113 (5 issues need help) 5 Updated Jan 27, 2025
View all repositories

Most used topics

Loading…