GitHub repository: math-comp/docker-mathcomp
Primary language: Dockerfile
Created: 2018-12-06T10:03:41Z
Description: Docker images of coq-mathcomp [maintainer=@erikmd]