docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
37 stars
7 watching
3 forks
Language: Dockerfile
last commit: 25 days ago
Linked from 1 awesome list
cicoqdocker-coqdocker-imagedockerfileopam