Pinned Loading

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

   74 6

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

   Coq 83 13

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

   393 29

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

   Mustache 17 11

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

   Dockerfile 5 1

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

   Nix 56 24