coq-community's repositories
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
notation-gallery
Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]
coq-performance-tests
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
run-coq-bug-minimizer
Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
coq-community.github.io
coq-community website
coq-performance-tests-plots-history
Maintaining plot history for coq-community/coq-performance-tests gh-pages branch [maintainer=@JasonGross]