search

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Apache License 2.0
288 stars 72 forks source link

website down #116

Closed micmelesse closed 2 years ago

micmelesse commented 2 years ago

The website seems to be down.

kbuzzard commented 2 years ago

Yup. I reported this to Imperial. All of ma.ic.ac.uk is down right now. It's very frustrating but I can't do anything about this right now. If nothing is done about this by the weekend then I might consider moving the site elsewhere.

micmelesse commented 2 years ago

Sorry to have reported this on multiple channels. Was not quite sure where to do it. Just wanted to say thank you for all you do.

kbuzzard commented 2 years ago

Back up now. Sorry, I have very little control over that side of things! My university is in charge of hosting.