Reference manual for the Lean theorem prover - View it on GitHub