字数 36 · 2021-04-19
1 brew install lean-cli
1
brew install lean-cli
1 2 3 # 需要至少创建一个项目 lean login lean init
1 2 3
# 需要至少创建一个项目 lean login lean init