From 06af439e021cd4264654605729014469eb0c4efc Mon Sep 17 00:00:00 2001 From: Andrey Mokhov Date: Sat, 25 Nov 2017 20:22:46 +0000 Subject: [PATCH] Link to the paper --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 11d6b11..2ba4021 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ [![Build Status](https://travis-ci.org/snowleopard/alga-theory.svg?branch=master)](https://travis-ci.org/snowleopard/alga-theory) -We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga) +We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga-paper) and prove a few key theorems. ## Code overview