coq/doc coq/doc

  • Stars
    star
    1
  • Language
  • Created almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coq/doc
github

coq

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Coq user manual, automatically deployed

More 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

repo-coqs-disabled

The repository for Coq versions for developers.
Dockerfile
1
star