title

Coq Community Survey 2022 Results: Part II - Announcements - Rocq Prover

charset

utf-8

description

Coq Community Survey 2022 Results: Part II This post is the second of four posts that summarize the results of the Coq Community Survey 2022. Following the first part that focused on who Coq users are, we now cover how p…

generator

Discourse 3.5.0.beta6-dev - https://github.com/discourse/discourse version ce9ece434fb81fd967650aa9cbb7eb6f8cbd3947

theme-color

#fff

og:site_name

Rocq Prover

og:type

website

og:image

https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png

og:url

https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-ii/1746

og:title

Coq Community Survey 2022 Results: Part II

twitter:card

summary

twitter:image

https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png

twitter:url

https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-ii/1746

twitter:title

Coq Community Survey 2022 Results: Part II

twitter:description

Coq Community Survey 2022 Results: Part II This post is the second of four posts that summarize the results of the Coq Community Survey 2022. Following the first part that focused on who Coq users are, we now cover how people use Coq, such as their Coq version and IDE choice. The third part then covers usage of Coq features, plugins, tools, and libraries. The fourth and last part includes the rest of the results, and the links to the associated research paper and Zenodo artifact. We invite the ...

position

1

headline

Coq Community Survey 2022 Results: Part II

datePublished

2022-08-03T14:39:45Z

articleSection

Announcements

keywords

alternate nofollow

https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-ii/1746.rss

apple-touch-icon

https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png

canonical

https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-ii/1746

icon

https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/7/77e7c8a8792c0834aba528ad564e0661585f90f8_2_32x32.png

search

https://discourse.rocq-prover.org/opensearch.xml