From 242f6b874352ad73dbb8450f8d824dc69451e0e3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 1 Dec 2016 13:29:29 -0800 Subject: [PATCH] fix(README): links --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ac7559fac..ed991bb3b 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,8 @@ We have this separate repository because this version has special support for Ho About ----- - [Latest version](https://github.com/leanprover/lean) -- [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) +- [Homepage](http://leanprover.github.io) +- Theorem Proving in Lean: [HTML](http://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf) - [Standard Library](library/library.md) - [HoTT Library](hott/hott.md) - [Emacs Mode](src/emacs/README.md)