Reviews
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
License
MIT License
Related apps
alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@v
Coq23lgpl-2.1
2 years ago
coqmonadpaper-artifacts
bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t
Coq23lgpl-2.1
4 months ago
coqcoq-cicoq-platform
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Coq65other
4 months ago
coqcoq-cicoq-platform
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Coq135other
5 months ago
coqcoq-cifour-color-theorem
manifesto
Documentation on goals of the coq-community organization, the shared contributin
68other
8 months ago
community-drivencoqmanifesto
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Coq44other
4 months ago
coqcoq-cicoq-platform
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh
OCaml272mit
4 months ago
coqeditorvscode
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Coq108gpl-2.0
5 months ago
coqcoq-cicoq-library
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain
Coq24mit
5 months ago
bourbakicoqdocker-coq-action
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
2 years ago
automationcanonical-structurescoq
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=
Coq158mit
5 months ago
coqcoq-cicoq-library
reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Coq38other
4 months ago
coqcoq-nix-toolboxcoq-platform
graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
Coq28
5 months ago
coqdocker-coq-actiongraph-theory
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
8 months ago
coqmathcompmathcomp-ci
templates
Templates for configuration files and scripts useful for maintaining Coq project
Mustache11unlicense
4 months ago
continuous-integrationcoqmustache-templates
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
HTML50other
9 months ago
coqtheorems
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq82lgpl-2.1
4 months ago
coqcoq-cicoq-platform
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, mod
OCaml29other
5 months ago
coqcoq-cicoq-platform