It was restarted 3 minutes ago, hopefully it should be back up automatically within at most a few hours.
On Fri, Nov 14, 2025 at 5:32 AM Cris Perdue <[email protected]> wrote: > The us.metamath.org website appears to be down. > > -Cris > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.com > <https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/CAFXXJStAN_Uo3MqFP%2BEJOiA75QcdsEs7zFYKBenqtr-88DCZ2Q%40mail.gmail.com.
