The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Hi all,

Many Coq-Clubbers have noticed in the past how outdated the FAQ was and no Coq developer was really ready to take the time needed to make it better.

But now, thanks to the work of Matt Quinn (see https://github.com/coq/coq/issues/6180 for details), the FAQ has been moved to Cocorico, the Coq wiki, which makes it very easy for anyone to contribute : http://coq.inria.fr/faq now redirects to https://github.com/coq/coq/wiki/The-Coq-FAQ

(Reminder: Cocorico itself was recently migrated to GitHub wiki, thus anyone with a GitHub account can now contribute; the input language is Markdown.)

I encourage anyone with time on their hands and (some) knowledge of Coq to go to this FAQ and improve it (in many possible ways). If a question comes up often on Coq-Club, it can be a place to document the answer.

If you want to do some important changes but you are unsure what the reaction to that would be, feel free to open a new issue on the Coq repository to discuss it before doing the action.

The rest of the wiki is also awaiting your contributions. You may be interested in reading some of this help page: https://github.com/coq/coq/wiki/HelpOnGithubWiki

Thanks,

Théo