Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t

Coq22lgpl-2.1

5 months ago

coqcoq-cicoq-platform

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq66other

4 months ago

coqcoq-cicoq-platform

Documentation on goals of the coq-community organization, the shared contributin

68other

8 months ago

community-drivencoqmanifesto

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

5 months ago

coqcoq-cicoq-platform

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

OCaml325mit

5 months ago

coqeditorvscode

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

2 years ago

coqcoq-librarypuzzle

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

Coq109gpl-2.0

3 months ago

coqcoq-cicoq-library

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

3 years ago

automationcanonical-structurescoq

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq13

last year

coqmathcompmathcomp-ci

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Coq86lgpl-2.1

3 months ago

coqcoq-cicoq-platform

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

5 months ago

coqcoq-cicoq-platform

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

4 months ago

coqctlmathcomp

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

5 months ago

complex-analysiscoqreal-analysis

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (c

Coq69mit

10 months ago

coqcoq-nix-toolboxdiscrete-mathematics

A curated list of awesome Coq libraries, plugins, tools, verification projects,

320cc0-1.0

4 months ago

awesomeawesome-listcoq

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq128bsd-2-clause

3 months ago

coqcoq-cicoq-platform

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq487mit

5 months ago

coq

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Coq105mit

5 months ago

coqcoq-artdocker-coq-action

Docker images of the Coq proof assistant (see also: https://github.com/coq-commu

Dockerfile37bsd-3-clause

5 months ago

cicoqdocker-coq