Explore @coq Open Source projects

Coq (@coq)

coq

Stars
5,082
Global Org. Rank 4,523 (Top 2 %)
Registered almost 14 years ago
Most used languages

OCaml
44.4 %

Shell
22.2 %

Dockerfile
11.1 %

HTML
11.1 %

Coq 11.1 %

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.

platform

Multi platform setup for Coq, Coq libraries and tools

opam

Archive for all Coq related OPAM packages organized in various repositories

ceps

Coq Enhancement Proposals

stdlib2

ltac2

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

bot

A (Coq Development Team) bot written in OCaml

coq.github.io

Source files of the coq.inria.fr website

repo-stable-disabled

The repository for stable Coq packages.

coq-bench

Scripts for differential performance testing of Coq packages / versions

repo-unstable-disabled

The repository for development packages.

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

roadmaps

This was used to prepare the versions 8.6-8.8.

doc

Coq user manual, automatically deployed

repo-coqs-disabled

The repository for Coq versions for developers.