rocq-community/docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

语言：Shell · GitHub 星标：40 · Fork：4

话题：ci · coq · docker-coq · docker-image · dockerfile · opam

在 GitHub 上查看原仓库