Stream: Miscellaneous

Topic: ✔ Coq docs working?

view this post on Zulip Julin S (Aug 25 2022 at 14:09):

Is it just me, or is the coq docs website not working at the moment?

I had been trying occassionally for the past few hourse, but it never loads.

For example: https://coq.inria.fr/library/Coq.Lists.List.html

view this post on Zulip Pierre Roux (Aug 25 2022 at 14:35):

Seems to work here

view this post on Zulip Julin S (Aug 26 2022 at 02:18):

I guess it's just me then. Must be my network.

view this post on Zulip Julin S (Aug 26 2022 at 02:18):

It works for me as well now.

view this post on Zulip Notification Bot (Aug 30 2022 at 11:43):

Ali Caglayan has marked this topic as resolved.

Last updated: Sep 25 2023 at 12:01 UTC