diff options
| author | Maxime Dénès | 2018-06-26 17:42:23 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-06-27 23:02:53 +0200 |
| commit | d67ea9ebcc2292e119b928d4b8dc306fcb882c71 (patch) | |
| tree | 5d23feb0d5b57a20041a52955f849a9e2c66fd0c /README.md | |
| parent | 0b8c1aa84dc7200b055d45cf528a83163dfd21f8 (diff) | |
Mention Consortium in README
We are now actively looking for sponsors, let's make our communication
more visible.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -56,3 +56,11 @@ used, and include a complete source example leading to the bug. ## Contributing Guidelines for contributing to Coq in various ways are listed in the [contributor's guide](CONTRIBUTING.md). + +## Supporting Coq + +Help the Coq community grow and prosper by becoming a sponsor! The [Coq +Consortium](https://coq.inria.fr/consortium) can establish sponsorship contracts +or receive donations. If you want to take an active role in shaping Coq's +future, you can also become a Consortium member. If you are interested, please +get in touch! |