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