michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(README): add link to textbook

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-13 12:21:08 -08:00
parent e5a8c67d22
commit 0279070201
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -23,7 +23,8 @@ About
- [Design](doc/design.md) - [Design](doc/design.md)
- [To Do list](doc/todo.md) - [To Do list](doc/todo.md)
- [Authors](doc/authors.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) - [Library](library/library.md)
Requirements Requirements