Update README.md

algebraic-graphs · Mar 16, 2017 · 4b709fa · 4b709fa
1 parent 226eaad
commit 4b709fa
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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.