add FAQ item on Coq Platform, uniformize ecosystem position questions

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 palmskog closed 1 year ago

palmskog commented 1 year ago

Triggered by a discussion with @spitters.

palmskog commented 1 year ago

I guess we could add a link to the coq-platform topic for the org?