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: May 02 2025 at 03:31 UTC
Is there a lean4 equivalent of leanpkg add
?
Last updated: May 02 2025 at 03:31 UTC