Lean Tutorial

How to Build

We use cask to install emacs dependencies (org-mode, lean-mode, htmlize).

git clone git@github.com:leanprover/tutorial
cd tutorial
make install-cask
make

Automatic Build using Watchman

Using watchman, we can detect any changes on the org-files, and trigger re-builds automatically on the background.

To install watchman:

sudo apt-get install automake
make install-watchman

To enable watch:

make watch-on

To disable watch:

make watch-off

Auto-reload HTML page

• Firefox: Auto Reload add-on
• Chrome: Tincr (does not work on Linux)

How to preview generated HTML files

It requires a webserver to preview generated HTML files. We can use Python's SimpleHTTPServer module:

tutorial $ python -m SimpleHTTPServer

The above command starts a HTTP server at tutorial directory (default port: 8000). For example, example.html is available at http://localhost:8000/example.html.