docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
6 stars
12 watching
2 forks
Language: Dockerfile
last commit: about 1 month ago
Linked from 1 awesome list
cicoqdocker-imagedockerfilemathcompopam
coq-community/awesome-coq