Zulip Chat Archive

Stream: lean4

Topic: Lean3: mathlibtools has been disabled

Notification Bot (Sep 26 2024 at 22:18):

This topic was moved to #general > Lean3: mathlibtools has been disabled by Eric Wieser.

Last updated: Dec 20 2025 at 21:32 UTC