diff --git a/README.md b/README.md
index 506be96..aed85b1 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
-# HITs-Coq
\ No newline at end of file
+# HITs-Coq
+
+Needed: https://github.com/HoTT/HoTT