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: Feb 28 2026 at 14:05 UTC
Is there a lean4 equivalent of leanpkg add?
Last updated: Feb 28 2026 at 14:05 UTC