diff options
author | Tej Chajed <tchajed@mit.edu> | 2017-08-12 17:28:38 +0100 |
---|---|---|
committer | Tej Chajed <tchajed@mit.edu> | 2017-08-12 17:28:38 +0100 |
commit | 82828d631453f612d5048e970b8f1bc874a647c9 (patch) | |
tree | 1a17d24958f52f2e31c6c3747e291b626a387b9e /CONTRIBUTING.md | |
parent | 7ca2d409047f876f38036855259ae0fdc30dff3c (diff) |
Also mention Stack Exchange
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 93921d767..e57fd0c7e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -52,4 +52,6 @@ Tutorials to teach Coq, and especially to teach particular advanced features, wo 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. + Hang out on the Coq IRC channel, `irc://irc.freenode.net/#coq`, and help answer questions. |