Remove remaining references to Gitter.

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 Zimmi48 closed 4 years ago