Coq (@coq)
Guthub

coq

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5,082
  • Global Org. Rank 4,418 (Top 2 %)
  • Registered about 13 years ago
  • Most used languages
    OCaml
         44.4 %
    Shell
         22.2 %
    HTML
         11.1 %
    Coq     11.1 %
    Dockerfile
         11.1 %

Top repositories

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.
OCaml
4,613
star
2

platform

Multi platform setup for Coq, Coq libraries and tools
Shell
178
star
3

opam

Archive for all Coq related OPAM packages organized in various repositories
OCaml
118
star
4

ceps

Coq Enhancement Proposals
43
star
5

stdlib2

Coq
39
star
6

ltac2

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

bot

A (Coq Development Team) bot written in OCaml
OCaml
23
star
8

coq.github.io

Source files of the coq.inria.fr website
HTML
15
star
9

repo-stable-disabled

The repository for stable Coq packages.
9
star
10

coq-bench

Scripts for differential performance testing of Coq packages / versions
Shell
4
star
11

repo-unstable-disabled

The repository for development packages.
3
star
12

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
3
star
13

roadmaps

This was used to prepare the versions 8.6-8.8.
2
star
14

doc

Coq user manual, automatically deployed
1
star
15

repo-coqs-disabled

The repository for Coq versions for developers.
Dockerfile
1
star