Skip to content
GitLab
Explore
Sign in
tutorial-popl20
LICENSE
Find file
Blame
Permalink
Mar 13, 2020
09a93371
Update LICENSE.
· 09a93371
Robbert Krebbers
authored
Mar 13, 2020
09a93371
Update LICENSE.
Robbert Krebbers
authored
Mar 13, 2020
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more
Loading