Zulip Chat Archive
Stream: general
Topic: Moogle mathlib bump?
Luigi Massacci (Jul 22 2024 at 12:30):
Am I mistaken @Jesse Michael Han , or is Moogle working with an older version of Mathlib? It seems to be misaligned with the docs
Jesse Michael Han (Jul 22 2024 at 12:39):
yes that's right - we have plans to refresh it in several weeks
Last updated: May 02 2025 at 03:31 UTC