https://sympa.inria.fr/sympa/arc/coq-club,Official Coq-Club mailing list,https://github.com/coq-community/awesome-coq#readme,Coq error: <HTTPError 302: 'The HTTP server returned a redirect error that would lead to an infinite loop.\nThe last 30x error message was:\nMoved'> | reason: The HTTP server returned a redirect error that would lead to an infinite loop.
The last 30x error message was:
Moved