Pinned Repositories
bot
A (Coq Development Team) bot written in OCaml
ceps
Coq Enhancement Proposals
coq
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-bench
Scripts for differential performance testing of Coq packages / versions
coq.github.io
Source files of the coq.inria.fr website
ltac2
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
opam
Archive for all Coq related OPAM packages organized in various repositories
platform
Multi platform setup for Coq, Coq libraries and tools
repo-stable-disabled
The repository for stable Coq packages.
stdlib2
Coq's Repositories
coq/coq
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/platform
Multi platform setup for Coq, Coq libraries and tools
coq/opam
Archive for all Coq related OPAM packages organized in various repositories
coq/ceps
Coq Enhancement Proposals
coq/stdlib2
coq/ltac2
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
coq/bot
A (Coq Development Team) bot written in OCaml
coq/coq.github.io
Source files of the coq.inria.fr website
coq/repo-stable-disabled
The repository for stable Coq packages.
coq/coq-bench
Scripts for differential performance testing of Coq packages / versions
coq/coq-on-cachix
This repository follows Coq active branches but is only updated when the latest commit is available as binary on https://coq.cachix.org
coq/repo-unstable-disabled
The repository for development packages.
coq/roadmaps
This was used to prepare the versions 8.6-8.8.
coq/repo-coqs-disabled
The repository for Coq versions for developers.
coq/doc
Coq user manual, automatically deployed
coq/opam-coq-shell
attempt to create a simplified shell for opam when installing coq
coq/prerequisites
This repository is only used to store tarballs of dependencies of the Coq Platform (see https://github.com/coq/platform).
coq/repo-8.5