LICENSE · master · math-comp / docker-mathcomp · GitLab

Mentions légales du service

Dec 10, 2018
9cdf3ccd
Add Dockerfile and related files · 9cdf3ccd
Erik Martin-Dorel authored Dec 10, 2018
```
(Adapted from <https://github.com/coq-community/docker-coq>)
```
9cdf3ccd
Add Dockerfile and related files
Erik Martin-Dorel authored Dec 10, 2018
```
(Adapted from <https://github.com/coq-community/docker-coq>)
```

This project is licensed under the BSD 3-Clause "New" or "Revised" License. Learn more