add license info

verus-lang · Aug 21, 2024 · 553e479 · 553e479
1 parent 7ab42a6
commit 553e479
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/LICENSE b/LICENSE
@@ -0,0 +1,7 @@
+Some of the programs in the `milli/` directory are adapted from various projects.
+If so, the origin is mentioned in the file.
+
+Prusti's license is MPL 2.0, https://github.com/viperproject/prusti-dev/blob/master/LICENSE
+
+FStar's license is Apache, https://github.com/FStarLang/FStar/blob/master/LICENSE
+