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
Seems to work here
I guess it's just me then. Must be my network.
It works for me as well now.
Ali Caglayan has marked this topic as resolved.
Last updated: Sep 25 2023 at 12:01 UTC