coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Search similar apps

License

MIT License

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Creator

coq-community

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

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

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh

OCaml272mit

4 months ago

coqeditorvscode

coqoban

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

last year

coqcoq-librarypuzzle

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

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