search

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]
https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link
ci coq docker-image dockerfile mathcomp opam

readme

mathcomp/mathcomp

tags pipeline status pulls stars
dockerfile coq mathcomp-dev

This repository provides Docker images of (stable versions of) the Mathematical Components library for the Coq proof assistant.

These images are based on the coqorg/coq images, itself based on Debian 12 Slim and relying on opam 2.x.

See also the docker-coq wiki for details about how to use such images locally or in a CI context.

This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.

Note to maintainers

Read this section from the math-comp wiki for guidelines on how to maintain this repository.