https://github.com/motrellin/docker-coq-equations

Docker Image based on docker-coq with coq-equations
https://github.com/motrellin/docker-coq-equations

Last synced: 2 days ago
JSON representation

Docker Image based on docker-coq with coq-equations

• Host: GitHub
• URL: https://github.com/motrellin/docker-coq-equations
• Owner: motrellin
• License: gpl-3.0
• Created: 2024-01-25T11:32:25.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-05-04T07:40:32.000Z (9 months ago)
• Last Synced: 2024-12-03T20:13:13.617Z (2 months ago)
• Language: Dockerfile
• Size: 19.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# docker-coq-equations

This repository provides a Dockerfile to build a Docker Image for

[Coq](https://coq.inria.fr/) with support for the Extension [Coq

Equations](https://github.com/mattam82/Coq-Equations). It is based on an already

[existing Docker image for Coq](https://hub.docker.com/r/coqorg/coq/).

## Use

The compiled image can be found on [Docker

Hub](https://hub.docker.com/r/motrellin/docker-coq-equations). You can pull it

via the following command:

```

docker pull motrellin/docker-coq-equations

```