Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Docker images of coq-mathcomp [maintainer=?]