diff --git a/README.md b/README.md
index 1a69cef9c0..58a2e6d68d 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,8 @@ About
 - [Design](doc/design.md)
 - [To Do list](doc/todo.md)
 - [Authors](doc/authors.md)
-- [Tutorial](doc/lean/tutorial.org)
+- Theorem Proving in Lean: [HTML](https://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf)
+- [Short Tutorial](doc/lean/tutorial.org)
 - [Library](library/library.md)
 
 Requirements