mathcomp/mathcomp

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 last version of 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.