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