Move Lean process notes from Project to Reference