diff --git a/README.md b/README.md
new file mode 100644
index 0000000..5129aec
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+# OrderedSemigroups
+
+Formalization of results regarding ordered semigroups.
+
+[Here is the blueprint](https://ericluap.github.io/OrderedSemigroups/blueprint/) and [here is the documentation](https://ericluap.github.io/OrderedSemigroups/docs/) for the project.
+The blueprint contains natural language versions of what is proved and links to the corresponding formalization in the documentation.
+
+The formalization follows the paper "On ordered Semigroups" by N.G. Alimov.
+