coq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Coq packages.
Pinned
Repositories
Showing 10 of 70 repositories
- coq-ext-lib Public
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- vscoq Public
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
- run-coq-bug-minimizer Public
Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
-
- coq-nix-toolbox Public
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
- awesome-coq Public
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]