Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community.

Pinned Repositories

• awesome-coq

  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

  344131220

• coq-art

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

  Language:Coq1177524

• coq-ext-lib

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

  Language:Coq130155849

• coq-tricks

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

  Language:Coq515221622

• docker-coq

  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

  Language:Dockerfile376383

• fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  Language:Coq20013522

• hydra-battles

  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  Language:Coq7482512

• manifesto

  Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

  68101106

• math-classes

  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

  Language:Coq165153443

• templates

  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

  Language:Mustache136539

Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community.'s Repositories