Skip to content
GitLab
Explore
Sign in
coq-exercises
LICENSE
Find file
Blame
Permalink
Jan 28, 2024
8491b8f7
Update LICENSE
· 8491b8f7
Max Ole Elliger
authored
Jan 28, 2024
8491b8f7
Update LICENSE
Max Ole Elliger
authored
Jan 28, 2024
This project is licensed under the
GNU General Public License v3.0 or later
.
Learn more
Loading