coq-community
Pinned
Repositories
- vscoq Public
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
- coq-nix-toolbox Public
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
- docker-coq Public
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
- run-coq-bug-minimizer Public
Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
- coq-performance-tests-plots-history Public
Maintaining plot history for coq-community/coq-performance-tests gh-pages branch [maintainer=@JasonGross]
- coq-performance-tests Public
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
- coq-ext-lib Public
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]