Update maintainer list in README. - Githubissues

coq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

http://c-corn.github.io/

GNU General Public License v2.0

108 stars 43 forks source link

Update maintainer list in README. #207

Closed Zimmi48 closed 1 month ago

Zimmi48 commented 1 month ago

In accordance with https://github.com/coq-community/manifesto/issues/158.