search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Change maintainer of project Binary Rational Numbers #112

Open palmskog opened 3 years ago

palmskog commented 3 years ago

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.