Stream: Miscellaneous

Topic: coq.io


view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Sep 22 2020 at 12:36):

That's @Guillaume Claret

view this post on Zulip Guillaume Claret (Sep 22 2020 at 12:59):

Yes, indeed, thanks, taking care of it...

view this post on Zulip 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: Aug 19 2022 at 19:03 UTC