Docker images of coq-mathcomp [maintainer=@erikmd]
-
Updated
Mar 8, 2024 - Dockerfile
Docker images of coq-mathcomp [maintainer=@erikmd]
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
Minimum docker images for OCaml+OPAM
Add a description, image, and links to the opam topic page so that developers can more easily learn about it.
To associate your repository with the opam topic, visit your repo's landing page and select "manage topics."