**Project name and URL:** https://github.com/coq-community/qarith-stern-brocot **Current maintainer:** @herbelin **Status:** maintained **New maintainer:** looking for a volunteer As described by @Zimmi48 in #104, @herbelin is taking care of the coq-contribs, so a new maintainer is wanted for this project.
