diff --git a/README.md b/README.md
index d94b5b0..7f65038 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,4 @@
-# alga-proofs
-Machine-checked proofs for the theory of algebraic graphs
+# The theory of algebraic graphs
+
+We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga)
+and prove a few key theorems.