Installing Lean and mathlib

IMPORTANT NOTE

This post was from October 2018 and was very out of date so I’ve removed it. Nowadays we have proper official instructions here.