Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq-community
Docker Coq
Repository
docker-coq
LICENSE
Find file
Blame
History
Permalink
Add LICENSE for this Dockerfile repository
· cd1f5e2f
Erik Martin-Dorel
authored
Nov 02, 2018
cd1f5e2f
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more