Zulip Chat Archive

Stream: mathlib4

Topic: allow `Cache` use alternative mirror URL via env

Alissa Tung (Aug 27 2023 at 12:37):

https://github.com/leanprover-community/mathlib4/issues/6814

Last updated: May 02 2025 at 03:31 UTC