Bas Spitters (Sep 22 2020 at 12:24): Bas Spitters (Sep 22 2020 at 12:24):https://coq.io/ seems to have a certificate problem. I don't know who is running it.
Théo Zimmermann (Sep 22 2020 at 12:36):That's @Guillaume Claret
Guillaume Claret (Sep 22 2020 at 12:59):Yes, indeed, thanks, taking care of it...
Guillaume Claret (Sep 24 2020 at 09:45):I fixed it! Thanks for the notification. This should be http://coq.io/ , if it still redirect to https://coq.io/ it means one has to clean his browser cache
Last updated: Sep 28 2023 at 10:01 UTC