Mentions légales du service
Skip to content
GitLab
Explore
Sign in
lean4
LICENSE
Find file
Blame
Permalink
Nov 15, 2021
abef59dd
chore: remove LICENSE header that confused GitHub
· abef59dd
Sebastian Ullrich
authored
Nov 15, 2021
abef59dd
chore: remove LICENSE header that confused GitHub
Sebastian Ullrich
authored
Nov 15, 2021
This project is licensed under the
Apache License 2.0
.
Learn more
Loading
