8000 Rocq-community · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@rocq-community

Rocq-community

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

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

  3. awesome-coq awesome-coq Public

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

    353 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]

    Shell 37 3

  5. templates templates Public

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

    Mustache 13 9

Repositories

Showing 10 of 75 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0