https://coq.io/ seems to have a certificate problem. I don't know who is running it.
That's @Guillaume Claret
Yes, indeed, thanks, taking care of it...
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: Feb 05 2023 at 06:28 UTC