From d67ea9ebcc2292e119b928d4b8dc306fcb882c71 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 26 Jun 2018 17:42:23 +0200 Subject: Mention Consortium in README We are now actively looking for sponsors, let's make our communication more visible. --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index df4ca8e40..67f4f6fea 100644 --- a/README.md +++ b/README.md @@ -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! -- cgit v1.2.3