Rocq-community

Pinned Loading

1. manifesto manifesto Public

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

   74 7

2. hydra-battles hydra-battles Public

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

   Coq 81 14

3. awesome-coq awesome-coq Public

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

   396 29

4. templates templates Public

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

   Mustache 18 11

5. docker-rocq docker-rocq Public

   Docker images of the Rocq Prover (see also: https://github.com/rocq-community/docker-coq-action) [maintainer=@Justme0606]

   Dockerfile 5 1

6. coq-nix-toolbox coq-nix-toolbox Public

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

   Nix 57 24