Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
LICENSE
Find file
Blame
History
Permalink
Use Menhir in file headers instead of Compcert, and change the license to LGPLv3
· cc845d4c
Jacques-Henri Jourdan
authored
Oct 11, 2018
cc845d4c
This project is licensed under the
GNU Library General Public License v2 only
.
Learn more