Home

Awesome

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.

<!-- tags -->

Note to maintainers

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