From 213fbfa37778aaa818e903d3793fa5b380a22f1e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 20 Mar 2024 15:48:06 -0400
Subject: [PATCH] readme

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 00000000..06d32f7c
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+
+# Imandrakit
+
+This is the core library used to build some of Imandra's projects.
+
+It builds on top of [containers](https://github.com/c-cube/ocaml-containers/)
+and [Moonpool](https://github.com/c-cube/moonpool/).
+
+## License
+
+MIT