Zulip Chat Archive
Stream: lean4
Topic: leanpkg add?
Jason Gross (Mar 19 2021 at 19:00):
Is there a lean4 equivalent of leanpkg add
?
Last updated: Dec 20 2023 at 11:08 UTC
Is there a lean4 equivalent of leanpkg add
?
Last updated: Dec 20 2023 at 11:08 UTC