coq-community Templates

UnlicenseMustache

Templates for generating configuration files and boilerplate for Coq projects, including CI setup and documentation.

17 stars11 forks0 contributors

Overview

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

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Last commit

4 months ago

CreatedSince 2019

Built With

git

Included in

Coq380

Auto-fetched 12 hours ago

Coq Platform

Multi platform setup for Rocq, Rocq libraries and tools

Stars239

Forks55

Last commit2 days ago

Coq Nix Toolbox

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

Stars56

Forks22

Last commit2 days ago

Docker-Coq

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

Stars40

Forks4

Last commit1 year ago

Docker-MathComp

Docker images of coq-mathcomp [maintainer=?]

Stars6

Forks3

Last commit4 months ago