GitHub repository: motrellin/docker-coq-equations
Primary language: Dockerfile
Description: Docker Image based on docker-coq with coq-equations