These instructions have moved. If you are not redirected automatically, follow this link to the Lean quickstart guide.