Skip to content
GitLab
Explore
Sign in
LambdaRust-coq
LICENSE
Find file
Blame
Permalink
Oct 30, 2017
1926f2b7
put the entire development under the BSD license
· 1926f2b7
Ralf Jung
authored
Oct 30, 2017
1926f2b7
put the entire development under the BSD license
Ralf Jung
authored
Oct 30, 2017
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more
Loading