From 237f33156993bfc7acaf091d421b72bb5a61a3da Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 23 Dec 2016 09:49:52 -0800 Subject: [PATCH] chore(README): remove link to short tutorial --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index d4626287d5..2710e68bf9 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,6 @@ About - [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) - For HoTT mode, please use [Lean2](https://github.com/leanprover/lean2). Requirements