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: Feb 22 2024 at 04:02 UTC