Docker-Coq

BSD-3-ClauseShell

Docker images for Coq proof assistant versions 8.4 to 8.20, based on Debian Slim with opam 2.x.

40 stars4 forks0 contributors

Overview

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

Community-curated · Updated weekly · 100% open source

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

Last commit

1 year ago

CreatedSince 2018

Auto-fetched 1 day ago

Multi platform setup for Rocq, Rocq libraries and tools

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

Build tool distributed with Coq and based on generating a makefile

Powerful package manager for Linux and other Unix systems that makes package management reliable and reproducible