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