Skip to content
GitLab
Explore
Sign in
abellatocoq
COPYING
Find file
Blame
History
Permalink
Add a COPYING file to reflect the license from abell2coq.opam
· 32f50ce4
Philip Kaludercic
authored
Sep 29, 2023
32f50ce4
This project is licensed under the
GNU General Public License v3.0 or later
.
Learn more
Loading
Philip Kaludercic authored32f50ce4