/docker-coq-equations

Docker Image based on docker-coq with coq-equations

Primary LanguageDockerfileGNU General Public License v3.0GPL-3.0

docker-coq-equations

This repository provides a Dockerfile to build a Docker Image for Coq with support for the Extension Coq Equations. It is based on an already existing Docker image for Coq.

Use

The compiled image can be found on Docker Hub. You can pull it via the following command:

docker pull motrellin/docker-coq-equations