coq/stdlib2 coq/stdlib2

  • Stars
    star
    39
  • Rank 693,563 (Top 14 %)
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created over 6 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coq/stdlib2
github

coq

Reviews

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

Repository Details

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

ltac2

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

bot

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

coq.github.io

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

repo-stable-disabled

The repository for stable Coq packages.
9
star
9

coq-bench

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

repo-unstable-disabled

The repository for development packages.
3
star
11

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
12

roadmaps

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

doc

Coq user manual, automatically deployed
1
star
14

repo-coqs-disabled

The repository for Coq versions for developers.
Dockerfile
1
star