search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
161 stars 43 forks source link

Update maintainer list in README. #130

Closed Zimmi48 closed 2 months ago

Zimmi48 commented 2 months ago

In accordance with coq-community/manifesto#158.