見出し画像

Lean4: 環境メンテナンス

D.

2025/07/31  3:38　新規・更新

Install & Setup

Tutorial


elan Command

update

elan self update
$ elan self update
info: downloading self-update
info: elan updated successfully to 4.1.2

2025/07/31  3:39

D.

いいなと思ったら応援しよう！

D. 🐺賢狼👨‍✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を！