coq/bot coq/bot

  • Stars
    star
    23
  • Rank 987,821 (Top 20 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 6 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coq/bot
github

coq

Reviews

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

Repository Details

A (Coq Development Team) bot written in OCaml

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

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