From b9227948e4f2a8e3d62b8e2b7b343cd1cf1ad266 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 27 Feb 2015 16:56:51 -0800 Subject: [PATCH] feat(README): add links to homepage --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 65fec0762..f10461e7c 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -

logo

+

logo

@@ -20,9 +20,10 @@ About ----- +- [Homepage](https://leanprover.github.io) - Theorem Proving in Lean: [HTML](https://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf) - [Authors](doc/authors.md) -- [Library](library/library.md) +- [Standard Library](library/library.md) - [Short Tutorial](doc/lean/tutorial.org) - [To Do list](doc/todo.md)
LicenseWindowsUbuntuOS XCoverageBuilds/TestsStatic Analysis