mathcomp/mathcomp repository overview

⁠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.

⁠Supported tags and respective Dockerfile links

• 2.4.0-rocq-prover-dev, latest-rocq-prover-dev⁠
• 2.4.0-rocq-prover-9.0, latest-rocq-prover-9.0⁠
• 2.4.0-coq-8.20, latest-coq-8.20⁠
• 2.4.0-coq-8.19, latest-coq-8.19⁠
• 2.3.0-coq-dev⁠
• 2.3.0-coq-8.20⁠
• 2.3.0-coq-8.19⁠
• 2.3.0-coq-8.18⁠
• 2.2.0-coq-dev⁠
• 2.2.0-coq-8.20⁠
• 2.2.0-coq-8.19⁠
• 2.2.0-coq-8.18⁠
• 2.2.0-coq-8.17⁠
• 2.2.0-coq-8.16⁠
• 2.1.0-coq-8.18⁠
• 2.1.0-coq-8.17⁠
• 2.1.0-coq-8.16⁠
• 2.0.0-coq-8.18⁠
• 2.0.0-coq-8.17⁠
• 2.0.0-coq-8.16⁠
• 1.19.0-coq-8.20⁠
• 1.19.0-coq-8.19⁠
• 1.19.0-coq-8.18⁠
• 1.19.0-coq-8.17⁠
• 1.19.0-coq-8.16⁠
• 1.18.0-coq-8.18⁠
• 1.18.0-coq-8.17⁠
• 1.18.0-coq-8.16⁠
• 1.17.0-coq-8.18⁠
• 1.17.0-coq-8.17⁠
• 1.17.0-coq-8.16⁠
• 1.17.0-coq-8.15⁠
• 1.16.0-coq-8.18⁠
• 1.16.0-coq-8.17⁠
• 1.16.0-coq-8.16⁠
• 1.16.0-coq-8.15⁠
• 1.16.0-coq-8.14⁠
• 1.16.0-coq-8.13⁠
• 1.15.0-coq-8.16⁠
• 1.15.0-coq-8.15⁠
• 1.15.0-coq-8.14⁠
• 1.15.0-coq-8.13⁠
• 1.14.0-coq-8.15⁠
• 1.14.0-coq-8.14⁠
• 1.14.0-coq-8.13⁠
• 1.14.0-coq-8.12⁠
• 1.14.0-coq-8.11⁠
• 1.13.0-coq-8.15⁠
• 1.13.0-coq-8.14⁠
• 1.13.0-coq-8.13⁠
• 1.13.0-coq-8.12⁠
• 1.13.0-coq-8.11⁠
• 1.12.0-coq-8.14⁠
• 1.12.0-coq-8.13⁠
• 1.12.0-coq-8.12⁠
• 1.12.0-coq-8.11⁠
• 1.12.0-coq-8.10⁠
• 1.11.0-coq-8.12⁠
• 1.11.0-coq-8.11⁠
• 1.11.0-coq-8.10⁠
• 1.11.0-coq-8.9⁠
• 1.11.0-coq-8.8⁠
• 1.11.0-coq-8.7⁠
• 1.10.0-coq-8.11⁠
• 1.10.0-coq-8.10⁠
• 1.10.0-coq-8.9⁠
• 1.10.0-coq-8.8⁠
• 1.10.0-coq-8.7⁠
• 1.9.0-coq-8.11⁠
• 1.9.0-coq-8.10⁠
• 1.9.0-coq-8.9⁠
• 1.9.0-coq-8.8⁠
• 1.9.0-coq-8.7⁠
• 1.8.0-coq-8.9⁠
• 1.8.0-coq-8.8⁠
• 1.8.0-coq-8.7⁠
• 1.7.0-coq-8.9⁠
• 1.7.0-coq-8.8⁠
• 1.7.0-coq-8.7⁠
• 1.7.0-coq-8.6⁠

⁠Note to maintainers

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