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

Update info on editorial work. #138

Closed Zimmi48 closed 2 years ago

Zimmi48 commented 2 years ago

To reflect what has been done. See https://github.com/coq-community/coq-community.github.io/issues/2.