Coq

Repositories

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.

dependent-types coq theorem-proving proof-assistant

OCaml LGPL-2.1 447 2,903 2,388 (21 issues need help) 206 Updated Jul 31, 2020

bot

A (Coq Development Team) bot written in OCaml

github bot github-api gitlab webhook ocaml gitlab-api

1 package OCaml MIT 6 10 26 1 Updated Jul 31, 2020

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

coq opam-repository opam

JavaScript LGPL-2.1 42 54 28 (1 issue needs help) 1 Updated Jul 31, 2020

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

OCaml LGPL-2.1 0 3 0 0 Updated Jul 30, 2020

doc

Coq user manual, automatically deployed

HTML 0 0 0 0 Updated Jul 30, 2020

www

Source files of the coq.inria.fr website (static part)

HTML 28 12 9 1 Updated Jul 27, 2020

bignums

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

large-numbers coq-plugin

Coq LGPL-2.1 12 17 1 3 Updated Jul 26, 2020

coq-bench

Scripts for differential performance testing of Coq packages / versions

Shell 7 4 22 1 Updated Jun 29, 2020

stdlib2

Coq LGPL-2.1 5 31 14 1 Updated May 31, 2020

ceps

Coq Enhancement Proposals

coq rfc

17 23 2 22 Updated May 5, 2020

ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

coq-plugin

10 33 0 0 Updated Jun 5, 2019

repo-coqs-disabled Archived

The repository for Coq versions for developers.

Dockerfile MIT 2 1 1 0 Updated Sep 3, 2018

roadmaps Archived

This was used to prepare the versions 8.6-8.8.

2 2 0 0 Updated Feb 26, 2018

opam-coq-shell Archived

Forked from gares/opam-coq-shell

attempt to create a simplified shell for opam when installing coq

Shell LGPL-2.1 2 0 2 0 Updated Jul 5, 2015

repo-unstable-disabled Archived

The repository for development packages.

MIT 5 2 0 0 Updated Jun 27, 2015

repo-stable-disabled Archived

The repository for stable Coq packages.

MIT 7 9 0 0 Updated Jun 27, 2015

repo-8.5 Archived

2 0 0 1 Updated Apr 15, 2015