From 553e479e892bf5bffc95edb76f73196c9c1a95af Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <andrea@lattuada.me>
Date: Wed, 21 Aug 2024 23:36:12 +0200
Subject: [PATCH] add license info

---
 LICENSE | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 LICENSE

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..db7e913
--- /dev/null
+++ 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
+