GitHub repository: opensoft/proof-docker
Primary language: Shell
Created: 2018-07-18T17:44:27Z
Description: Dockerfiles for Proof-related stuff in DockerHub