Zulip Chat Archive
Stream: general
Topic: mathlib-scripts
Yury G. Kudryashov (Dec 17 2019 at 21:01):
Hi, is there any reason not to publish mathlib-scripts as a pip-installable package?
Simon Hudon (Dec 17 2019 at 21:02):
None that I can think of
Last updated: Dec 20 2023 at 11:08 UTC