Add LICENSE, following the Iris LICENSE file.
- Mar 13, 2020
-
-
Robbert Krebbers authored
This closes issue #1.
1ce80eb3
-
This closes issue #1 (closed).
/cc @jung @amintimany Can you state that you agree to releasing the contents of this repository under the BSD license.
This closes issue #1.