Coq-community is looking for volunteer additional maintainers of the math-classes and CORN projects.
The libraries contain definitions and results related to real numbers formalized in Coq.
The project has been largely maintained for years by coq-community and coq developers (as part of Coq CI) and currently supports Coq 8.19 and Coq master. An initial task for a new maintainer would be to keep compatibility with the master branch of Coq (in collaboration with Coq developers since the projects are in Coq CI) and ensure releases when needed for new Coq versions (so at most every six months). This should represent a very limited amount of work.
To volunteer, please respond to this GitHub issue with brief motivation and summary of relevant experience for becoming a library maintainer. It is appreciated if volunteers also indicate their plans for the library which, e.g., could range from maintaining compatibility with the latest released versions of Coq to making substantial additions.
When needed, maintainers can expect assistance and helpful advice on practical tasks such as continuous integration and packaging from experienced Coq-community contributors, many of whom are members of the Coq Team .