diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-08-18 08:59:19 +0100 |
|---|---|---|
| committer | Tej Chajed <tchajed@mit.edu> | 2017-08-18 08:59:19 +0100 |
| commit | 0202ebb164a4d9b57be8a6a057b654e2e75692e1 (patch) | |
| tree | a0b4ba9b4940328fe8f6364225c2445f78e4ee4d /CONTRIBUTING.md | |
| parent | eae98b19ec3ae4f35fbe98678e82c1d9c9e0c387 (diff) | |
Advise contributors to use SE over coq-club
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index ca8e94242..c6542f81c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -50,8 +50,6 @@ There are many useful ways to contribute to the Coq ecosystem that don't involve Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. Some tutorials are listed on the [Coq website](https://coq.inria.fr/documentation). If you would like to add a link to this list, please make a pull request against the Coq website repository at https://github.com/coq/www. -Subscribe to the [coq-club](https://coq.inria.fr/community) mailing list and answer questions there. Asking your own questions on the mailing list will also help others learn from the answers, which often come from experts in the community. - -Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users. +Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users. We are trying to ask and answer more questions on Stack Exchange rather than the `coq-club@inria.fr` mailing list since the answers are editable and easier to search for. Hang out on the Coq IRC channel, `irc://irc.freenode.net/#coq`, and help answer questions. |