Zulip Chat Archive
Stream: mathlib4
Topic: will mathlib continue to use batteries as a dependency?
Bulhwi Cha (Aug 19 2024 at 08:15):
Will Mathlib continue to use Batteries as a dependency, or will they be independent of each other in the future?
Ruben Van de Velde (Aug 19 2024 at 08:17):
I see no reason to expect a change
Bulhwi Cha (Aug 19 2024 at 08:18):
Either is fine with me. I just got curious.
Last updated: May 02 2025 at 03:31 UTC