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: Feb 28 2026 at 14:05 UTC