Stream: Miscellaneous

Topic: Survey results feedback

Théo Zimmermann (Aug 31 2022 at 16:04):

This topic can be used to provide feedback to the Coq Community Survey WG about the results blog posts (first part, second part, third part) and for suggesting other questions to explore.

Last updated: Jun 10 2023 at 06:31 UTC