Stream: Miscellaneous

Topic: Survey results feedback


view this post on Zulip 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: Jan 29 2023 at 19:02 UTC