Add README.md

ericluap · Aug 22, 2024 · b5c4e7a · b5c4e7a
1 parent cae6be1
commit b5c4e7a
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md 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.
+