max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(README): link to tutorial

Browse source
This commit is contained in:
Leonardo de Moura 2016-12-01 13:41:01 -08:00
parent 48a7434532
commit 3412d11401
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -19,8 +19,7 @@ About
-----
- [Homepage](http://leanprover.github.io)
- Theorem Proving in Lean: [HTML](https://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf)
- [Authors](http://leanprover.github.io/people/)
- [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)