coq/coq-bench coq/coq-bench

  • This repository has been archived on 29/Oct/2022
  • Stars
    star
    4
  • Rank 3,218,133 (Top 65 %)
  • Language
    Shell
  • License
    Other
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coq/coq-bench
github

coq

Reviews

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

Repository Details

Scripts for differential performance testing of Coq packages / versions

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

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