Coq Community Survey 2022: Summary of Results - Assistance à la Certification d’Applications DIstribuées et Embarquées Access content directly
Documents Associated With Scientific Events Year :

Coq Community Survey 2022: Summary of Results


The Coq Community Survey 2022 was an online public survey conducted during February 2022. Its main goal was to obtain an updated picture of the Coq user community and inform future decisions taken by the Coq team. In particular, the survey aimed to enable the Coq team to make effective decisions about the development of the Coq software, and also about matters that pertain to the ecosystem maintained by Coq users in academia and industry. In this presentation abstract, we outline how the survey was designed, its content, and some initial data analysis and directions. Not least due to free-text answers to some questions requiring a more lengthy summary, the full presentation includes additional data and conclusions.
Fichier principal
Vignette du fichier
Coq2022.pdf (175.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03914602 , version 1 (28-12-2022)


  • HAL Id : hal-03914602 , version 1


Ana de Almeida Borges, Jean-Rémy Falleri, Jim Fehrle, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Coq Community Survey 2022: Summary of Results. 13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel. . ⟨hal-03914602⟩
43 View
13 Download


Gmail Facebook Twitter LinkedIn More