coq/coq.github.io

Redirection to the new rocq-prover.org website

langage: HTML - taille: 0 octet - dernière synchronisation: il y a 4 jours - enregistré: il y a 8 mois - étoiles: 0 - forks: 1

coq/opam

Archive for all Coq related OPAM packages organized in various repositories

langage: OCaml - taille: 12,1 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 133 - forks: 168

coq/doc

Coq user manual, automatically deployed

langage: HTML - taille: 1,52 Go - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 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.

langage: OCaml - taille: 194 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 4 997 - forks: 676

coq/rocq-prover.org

The Rocq Prover Website

langage: HTML - taille: 240 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 10 - forks: 15

coq/bot

A (Coq Development Team) bot written in OCaml

langage: OCaml - taille: 6,73 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 23 - forks: 16

coq/vscoq

Visual Studio Code extension for Coq

langage: OCaml - taille: 78,7 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 370 - forks: 74

coq/rfcs

Coq Enhancement Proposals

taille: 230 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a 11 mois - étoiles: 56 - forks: 34

coq/platform

Multi platform setup for Coq, Coq libraries and tools

langage: Shell - taille: 148 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 10 mois - étoiles: 195 - forks: 51

coq/stdlib

Stdlib for the Rocq Prover

langage: Coq - taille: 157 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 8 - forks: 8

coq/platform-docs

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

langage: Coq - taille: 187 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a 9 mois - étoiles: 21 - forks: 11

coq/deploy-rocq-prover.org

OCurrent deployment pipeline for rocq-prover.org

langage: OCaml - taille: 48,8 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a 10 mois - étoiles: 0 - forks: 0

coq/stdlib2

langage: Coq - taille: 80,1 ko - dernière synchronisation: il y a environ un an - enregistré: il y a presque 2 ans - étoiles: 39 - forks: 9

coq/repo-unstable-disabled 📦

The repository for development packages.

taille: 1,74 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 10 ans - étoiles: 3 - forks: 5

coq/repo-coqs-disabled 📦

The repository for Coq versions for developers.

langage: Dockerfile - taille: 63,5 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 7 ans - étoiles: 1 - forks: 2

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

attempt to create a simplified shell for opam when installing coq

langage: Shell - taille: 130 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 10 ans - étoiles: 0 - forks: 1

coq/repo-8.5 📦

taille: 164 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 10 ans - étoiles: 0 - forks: 2

coq/repo-stable-disabled 📦

The repository for stable Coq packages.

taille: 1,6 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 10 ans - étoiles: 9 - forks: 7

coq/roadmaps 📦

This was used to prepare the versions 8.6-8.8.

taille: 62,5 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a presque 8 ans - étoiles: 2 - forks: 1

coq/coq-bench 📦

Scripts for differential performance testing of Coq packages / versions

langage: Shell - taille: 1,39 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a environ 4 ans - étoiles: 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

langage: OCaml - taille: 116 Mo - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 3 ans - étoiles: 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).

taille: 0 octet - dernière synchronisation: il y a 9 mois - enregistré: il y a environ 4 ans - étoiles: 0 - forks: 0

coq/ltac2

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

taille: 658 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 6 ans - étoiles: 31 - forks: 10