Category Archives: Technical assistance
Important: I deleted this post because it was out of date and causing confusion. The Lean Community now has its own website and up to date installation instructions for getting Lean and the key tool leanproject are here.
THIS POST IS TWO YEARS OLD AND VERY OUT OF DATE. THE MODERN WAY TO INSTALL LEAN AND MATHLIB (UPDATED CONTINUOUSLY) IS EXPLAINED IN THE README ON THE MATHLIB GITHUB SITE: modern installation instructions for Lean The below used to … Continue reading