coq/coq.github.io

Redirection to the new rocq-prover.org website

Language: HTML - Size: 0 Bytes - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: OCaml - Size: 12.1 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 133 - Forks: 168

coq/doc

Coq user manual, automatically deployed

Language: HTML - Size: 1.52 GB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

coq/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.

Language: OCaml - Size: 194 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 4,997 - Forks: 676

coq/rocq-prover.org

The Rocq Prover Website

Language: HTML - Size: 240 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 10 - Forks: 15

coq/bot

A (Coq Development Team) bot written in OCaml

Language: OCaml - Size: 6.73 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 16

coq/vscoq

Visual Studio Code extension for Coq

Language: OCaml - Size: 78.7 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 370 - Forks: 74

coq/rfcs

Coq Enhancement Proposals

Size: 230 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 56 - Forks: 34

coq/platform

Multi platform setup for Coq, Coq libraries and tools

Language: Shell - Size: 148 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 195 - Forks: 51

coq/stdlib

Stdlib for the Rocq Prover

Language: Coq - Size: 157 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 8

coq/platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Language: Coq - Size: 187 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 21 - Forks: 11

coq/deploy-rocq-prover.org

OCurrent deployment pipeline for rocq-prover.org

Language: OCaml - Size: 48.8 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

coq/stdlib2

Language: Coq - Size: 80.1 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 9

coq/repo-unstable-disabled 📦

The repository for development packages.

Size: 1.74 MB - Last synced at: about 2 months ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 5

coq/repo-8.5 📦

Size: 164 KB - Last synced at: about 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 2

coq/opam-coq-shell Fork of gares/opam-coq-shell 📦

attempt to create a simplified shell for opam when installing coq

Language: Shell - Size: 130 KB - Last synced at: about 2 months ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 1

coq/repo-coqs-disabled 📦

The repository for Coq versions for developers.

Language: Dockerfile - Size: 63.5 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 2

coq/repo-stable-disabled 📦

The repository for stable Coq packages.

Size: 1.6 MB - Last synced at: about 2 months ago - Pushed at: almost 10 years ago - Stars: 9 - Forks: 7

coq/roadmaps 📦

This was used to prepare the versions 8.6-8.8.

Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

coq/coq-bench 📦

Scripts for differential performance testing of Coq packages / versions

Language: Shell - Size: 1.39 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 6

coq/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

Language: OCaml - Size: 116 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

coq/prerequisites

This repository is only used to store tarballs of dependencies of the Coq Platform (see https://github.com/coq/platform).

Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

coq/ltac2

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

Size: 658 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 31 - Forks: 10