My own private copy of the Lean repo