Zulip Chat Archive
Stream: new members
Topic: Updating mathlib
Roman Fedorov (Jul 15 2020 at 07:52):
Hallo! How can I update mathlib?
Kenny Lau (Jul 15 2020 at 07:52):
leanproject up
Bryan Gin-ge Chen (Jul 15 2020 at 07:53):
Run leanproject up from the root directory of the Lean package you're working in.
Roman Fedorov (Jul 15 2020 at 08:02):
Thanks! That was easy!
Last updated: Dec 20 2023 at 11:08 UTC