Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Thierry Martinez
custom-runner-coq
Repository
custom-runner-coq
LICENSE
Find file
Blame
History
Permalink
Add LICENSE
· 14c45a23
Thierry Martinez
authored
Aug 10, 2023
From
https://gitlab.inria.fr/imerrir/stage/-/blob/main/LICENSE
14c45a23
This project is licensed under the
GNU Affero General Public License v3.0
.
Learn more