From 021a1d95a12c417cec2d39527a262e4d860e1d4c Mon Sep 17 00:00:00 2001 From: Andrey Mokhov Date: Sat, 25 Nov 2017 20:33:09 +0000 Subject: [PATCH] Update Travis links --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2ba4021..2836703 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # The theory of algebraic graphs -[![Build Status](https://travis-ci.org/snowleopard/alga-theory.svg?branch=master)](https://travis-ci.org/snowleopard/alga-theory) +[![Build Status](https://travis-ci.org/algebraic-graphs/agda.svg?branch=master)](https://travis-ci.org/algebraic-graphs/agda) We use Agda to formalise the theory of [algebraic graphs](https://github.com/snowleopard/alga-paper) and prove a few key theorems.