search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

coq.inria.fr is down #64

Closed paul-kline closed 6 years ago

paul-kline commented 6 years ago

Help! Can't do any work as I need the reference manual.

maximedenes commented 6 years ago

Hello, is it the 8.7.2 manual that you need? You can download the PDF version at https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2-reference-manual.pdf

More generally, you can find some material on the Coq github release page: https://github.com/coq/coq/releases

Sorry for the inconvenience, I'll try to convince the team to move the server to a more reliable network/provider.

paul-kline commented 6 years ago

Thanks for your promptness. Where would you recommend reading about the Coq Library for the time being? Specifically I would like to see https://coq.inria.fr/library/Coq.Logic.FunctionalExtensionality.html . Some older proofs of mine are broken written for an older version and I would like to see what has changed.

maximedenes commented 6 years ago

Maybe you can use git log on that file? Or using GitHub: https://github.com/coq/coq/commits/master/theories/Logic/FunctionalExtensionality.v

paul-kline commented 6 years ago

any suggestion for viewing library documentation (tactics, etc)?

Zimmi48 commented 6 years ago

The website is back on.

maximedenes commented 6 years ago

Yes, but it is back up because I randomly restarted the web server myself. We should make the whole infrastructure reliable.