Zulip Chat Archive
Stream: general
Topic: Moogle down
Jireh Loreaux (Mar 26 2024 at 11:03):
@Jesse Michael Han It seems Moogle is down right now (the website responds but it fails to fetch search results). Any chance it could be back up by ? I'm going to be giving a talk which will feature it for users new to Lean.
Notification Bot (Mar 26 2024 at 11:06):
A message was moved here from #Is there code for X? > Limit of composition by Jireh Loreaux.
Jesse Michael Han (Mar 26 2024 at 14:14):
fixing!
Jesse Michael Han (Mar 26 2024 at 14:16):
@Jireh Loreaux should be back online - sorry about that!
Jireh Loreaux (Mar 26 2024 at 14:17):
Thanks so much for the quick turnaround!
Last updated: May 02 2025 at 03:31 UTC