Pinned Loading

1. manifesto manifesto Public

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

   68 6

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 74 12

3. awesome-coq awesome-coq Public

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

   345 20

4. docker-coq docker-coq Public

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

   Dockerfile 37 3

5. templates templates Public

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

   Mustache 13 9