This is a snapshot of the Lean 0.2 theorem prover. We have this separate repository because this version has special support for Homotopy Type Theory.
Windows
Linux
OS X
doxygen src/Doxyfile