Movatterモバイル変換

PinnedLoading

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 675

opam

Public

Archive for all Coq related OPAM packages organized in various repositories

OCaml 133 168

platform

Public

Multi platform setup for Coq, Coq libraries and tools

Shell 193 51

rfcs

Public

Coq Enhancement Proposals

55 34

coq.github.io

Public

Source files of the coq.inria.fr website

HTML 15 38

Showing 10 of 22 repositories

rocq-prover.org Public
The Rocq Prover Website
coq/rocq-prover.org’s past year of commit activity
HTML 10 15 22 7 UpdatedMar 20, 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,994LGPL-2.1 675 2,535 (21 issues need help) 76 UpdatedMar 20, 2025
opam Public
Archive for all Coq related OPAM packages organized in various repositories
coq/opam’s past year of commit activity
OCaml 133LGPL-2.1 177 33 (1 issue needs help) 3 UpdatedMar 20, 2025
doc Public
Coq user manual, automatically deployed
coq/doc’s past year of commit activity
HTML0 1 0 0 UpdatedMar 19, 2025
stdlib Public
Stdlib for the Rocq Prover
coq/stdlib’s past year of commit activity
Coq 8LGPL-2.1 8 71 3 UpdatedMar 13, 2025
bot Public
A (Coq Development Team) bot written in OCaml
coq/bot’s past year of commit activity
OCaml 23MIT 16 113 (5 issues need help) 5 UpdatedMar 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 25 (8 issues need help) 4 UpdatedMar 10, 2025
vscoq Public
Visual Studio Code extension for Coq
coq/vscoq’s past year of commit activity
OCaml 368MIT 74 133 (1 issue needs help) 11 UpdatedMar 10, 2025
platform Public
Multi platform setup for Coq, Coq libraries and tools
coq/platform’s past year of commit activity
Shell 193CC0-1.0 51 46 12 UpdatedFeb 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
OCaml0MIT0 0 0 UpdatedJan 29, 2025