The coq.io website cannot be accessed.
zmqgeek opened this issue · 0 comments
zmqgeek commented
hello, now I have visited the URL of http://coq.io, and it shows that the webpage is not working correctly, coq.io is currently unable to process this request, HTTP ERROR 503. When will the website be back up and running?