Docker-MathComp

BSD-3-ClauseDockerfile

Docker images providing stable versions of the Mathematical Components library for the Coq proof assistant.

6 stars3 forks0 contributors

Overview

Docker images of coq-mathcomp [maintainer=?]

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.

4 months 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]

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

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