Coq Community Survey 2022: Summary of Results - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2022

Coq Community Survey 2022: Summary of Results

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03914602 , version 1

Citer

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⟩
71 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More