From 02790702012a5c7dccc68867e19a79915c8030e8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 13 Jan 2015 12:21:08 -0800 Subject: [PATCH] chore(README): add link to textbook --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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