Update README.md - Githubissues

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

Closed kbrummert closed 2 years ago