close
The Wayback Machine - https://web.archive.org/web/20210820183145/https://github.com/coq-community
Skip to content
@coq-community

coq-community

A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Coq packages.

Pinned

  1. manifesto

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

    59 5

  2. hydra-battles

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

    Coq 12 5

  3. awesome-coq

    A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

    102 6

  4. vscoq

    A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

    TypeScript 152 25

  5. docker-coq

    Docker images of the Coq proof assistant [maintainer=@erikmd]

    Dockerfile 25 2

  6. templates

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

    Mustache 8 8

Repositories

View all repositories