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: Apr 19 2024 at 18:01 UTC