Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Coq
LICENSE
Find file
Blame
Permalink
Jan 11, 2019
7eaa1792
adding license
· 7eaa1792
Alan Schmitt
authored
Jan 11, 2019
7eaa1792
adding license
Alan Schmitt
authored
Jan 11, 2019
This project is licensed under the
MIT License
.
Learn more
Loading