Coq

doc Public
Coq user manual, automatically deployed

0 0 0 0 Updated Mar 12, 2023
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,116 LGPL-2.1 597 2,623 (22 issues need help) 130 Updated Mar 12, 2023
opam-coq-archive Public
Archive for all Coq related OPAM packages organized in various repositories

OCaml 106 LGPL-2.1 144 29 (1 issue needs help) 2 Updated Mar 12, 2023
bot Public
A (Coq Development Team) bot written in OCaml

OCaml 21 MIT 12 99 (6 issues need help) 7 Updated Mar 9, 2023
platform Public
Multi platform setup for Coq, Coq libraries and tools

Shell 133 CC0-1.0 43 37 10 Updated Mar 9, 2023
www Public
Source files of the coq.inria.fr website (static part)

HTML 15 34 16 0 Updated Mar 2, 2023
ceps Public
Coq Enhancement Proposals

32 21 2 32 Updated Jan 18, 2023
coq-on-cachix Public
This repository follows Coq active branches but is only updated when the latest commit is available as binary on https://coq.cachix.org

OCaml 3 LGPL-2.1 1 0 0 Updated Jul 1, 2022
stdlib2 Public

Coq 39 LGPL-2.1 8 14 0 Updated May 16, 2022
prerequisites Public
This repository is only used to store tarballs of dependencies of the Coq Platform (see https://github.com/coq/platform).

0 0 0 0 Updated Sep 17, 2021

Pinned