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.


Last updated: Jan 29 2023 at 18:03 UTC