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

feat(doc/bin/README): add link to documentation

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-14 10:42:39 -08:00
parent 730e038dd3
commit 1c176fd06d
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
doc/bin/README.md
View file

@ -16,6 +16,15 @@ the following command executes a simple set of examples
The Emacs mode is the ideal way to use Lean. It requires at The Emacs mode is the ideal way to use Lean. It requires at
least Emacs version 24.3 least Emacs version 24.3
Documentation
-------------
The tutorial "Theorem Proving in Lean" describes Lean main features,
and provides many examples. The tutorial is available in two different forms:
- Interactive HTML: http://leanprover.github.io/tutorial/index.html
- PDF: http://leanprover.github.io/tutorial/tutorial.pdf
Command line options Command line options
-------------------- --------------------