From 82828d631453f612d5048e970b8f1bc874a647c9 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Sat, 12 Aug 2017 17:28:38 +0100 Subject: Also mention Stack Exchange --- CONTRIBUTING.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'CONTRIBUTING.md') 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. -- cgit v1.2.3