我注意到在本地运行Lean的要求中提到,必须是Intel处理器的MacBook才能运行。