Sustaining the evolution of Rocq while giving a voice to stakeholders

For many years, the development of Rocq has been supported and funded almost exclusively by French academic institutions, most notably Inria. But today, there are intensive Rocq users, and thus major stakeholders, in universities and companies all over the world.

The objective of the Consortium is to empower this community of users, whose research and development critically rely on the Rocq system. For these users, making sure that the system's maintenance is well funded is essential. They can do so by providing resources either as donations, Consortium membership or support service subscriptions. Furthermore, Consortium members and support service subscribers get a voice in the evolution of Rocq, by determining where some engineering resources are allocated.

To summarize, on the one hand, we wish to establish transparent ways of contributing financially and technically to the development of the system; on the other hand we wish to make sure that the most pressing needs of major stakeholders are addressed efficiently by providing a fantastic working environment to competent Rocq developers.

The Rocq Consortium is hosted by Inria (the French national institute for research in digital science and technology), the premier actor behind the development of the Rocq Prover.