From 4b709fa1c39ab3bc8c6844966a7fcff7d60660f8 Mon Sep 17 00:00:00 2001
From: Andrey Mokhov <andrey.mokhov@gmail.com>
Date: Thu, 16 Mar 2017 00:13:44 +0000
Subject: [PATCH] Update README.md

---
 README.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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.