【Lean4】Lakeで立ち上げたプロジェクトをビルドする
lake new [package_name] でプロジェクトを作成して cd [package_name] でフォルダを移動して lake build でたぶんデフォルトのプロジェクトがビルド...
0
0
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles