diff options
| author | Maxime Dénès | 2019-05-27 13:25:48 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-05-27 13:25:48 +0200 |
| commit | c371b6f0bc6aa75fb3fe138d2bd52bdd189550b1 (patch) | |
| tree | 747f6c77ecdbd474164cba7b6d7b7b568c743674 | |
| parent | 13034bc2a322d250a971c9cc73881a34f9d64025 (diff) | |
| parent | e3df4fce6ec981140bbba5f6ac46292dad215754 (diff) | |
Merge PR #10241: Update README.md / add SUPPORT.md file.
Reviewed-by: maximedenes
| -rw-r--r-- | .github/SUPPORT.md | 28 | ||||
| -rw-r--r-- | README.md | 3 |
2 files changed, 29 insertions, 2 deletions
diff --git a/.github/SUPPORT.md b/.github/SUPPORT.md new file mode 100644 index 0000000000..b6f2e942e9 --- /dev/null +++ b/.github/SUPPORT.md @@ -0,0 +1,28 @@ +# Support # + +Get in touch with the user community and ask questions about Coq on +our [Discourse forum][]. Posts in other languages than English are +explicitly welcome there. There is also a historic mailing list called +the [Coq-Club][] which has lots of subscribers, and an IRC channel +(`irc://irc.freenode.net/#coq`). + +In addition, you may also ask questions about Coq on [Stack +Overflow][] (use the tag [coq][Stack Overflow tag]) or on the +meta-theory of Coq on the [TCS Stack Exchange][] (which also has a +[coq][TCS SE tag] tag). + +You can reach the Coq development team through the [development +category][] of the above mentioned Discourse forum, the [Gitter +channel][], and of course the bug tracker. + +See also [coq.inria.fr/community](https://coq.inria.fr/community.html). + +[Discourse forum]: https://coq.discourse.group +[Coq-Club]: https://sympa.inria.fr/sympa/arc/coq-club +[Stack Overflow]: https://stackoverflow.com +[Stack Overflow tag]: https://stackoverflow.com/questions/tagged/coq +[TCS Stack Exchange]: https://cstheory.stackexchange.com/ +[TCS SE tag]: https://cstheory.stackexchange.com/questions/tagged/coq +[development category]: https://coq.discourse.group/c/coq-development +[Gitter channel]: https://gitter.im/coq/coq +[bug tracker]: https://github.com/coq/coq/issues @@ -28,7 +28,6 @@ environment for semi-interactive development of machine-checked proofs. [![Arch package][arch-badge]][arch-link] [![Chocolatey package][chocolatey-badge]][chocolatey-link] [![Homebrew package][homebrew-badge]][homebrew-link] -[![MacPorts package][macports-badge]][macports-link] [![nixpkgs unstable package][nixpkgs-badge]][nixpkgs-link] [repology-badge]: https://repology.org/badge/latest-versions/coq.svg @@ -88,7 +87,7 @@ development team: See also [coq.inria.fr/community](https://coq.inria.fr/community.html). -## Bugs report +## Bug reports Please report any bug / feature request in [our issue tracker](https://github.com/coq/coq/issues). |