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: May 02 2025 at 03:31 UTC