From 3412d11401d1f47e651bb33c2d2045b59a2a6a2a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 1 Dec 2016 13:41:01 -0800 Subject: [PATCH] fix(README): link to tutorial --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 45830dd7e8..bf4e568720 100644 --- a/README.md +++ b/README.md @@ -19,8 +19,7 @@ About ----- - [Homepage](http://leanprover.github.io) -- Theorem Proving in Lean: [HTML](https://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf) -- [Authors](http://leanprover.github.io/people/) +- [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean/index.html) - [Standard Library](library/library.md) - [Emacs Mode](src/emacs/README.md) - [Short Tutorial](doc/lean/tutorial.org)