Skip to content
GitLab
Explore
Sign in
BBI-Coq
LICENSE
Find file
Blame
Permalink
May 23, 2018
f7d26c46
added license
· f7d26c46
Mackie Loeffel
authored
May 23, 2018
f7d26c46
added license
Mackie Loeffel
authored
May 23, 2018
This project is licensed under the
MIT License
.
Learn more
Loading
Mackie Loeffel authoredf7d26c46Mackie Loeffel authored