coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730

Preview meta tags from the coq.discourse.group website.

Linked Hostnames

15

Thumbnail

Search Engine Appearance

Google

https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730

Coq Community Survey 2022 Results: Part I

Coq Community Survey 2022 Results: Part I In this post, we give an introduction to the survey and then provide the first part of a result summary. This part is about who is using Coq and in what context. See also the sec…



Bing

Coq Community Survey 2022 Results: Part I

https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730

Coq Community Survey 2022 Results: Part I In this post, we give an introduction to the survey and then provide the first part of a result summary. This part is about who is using Coq and in what context. See also the sec…



DuckDuckGo

https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730

Coq Community Survey 2022 Results: Part I

Coq Community Survey 2022 Results: Part I In this post, we give an introduction to the survey and then provide the first part of a result summary. This part is about who is using Coq and in what context. See also the sec…

  • General Meta Tags

    8
    • title
      Coq Community Survey 2022 Results: Part I - Announcements - Rocq Prover
    • charset
      utf-8
    • description
      Coq Community Survey 2022 Results: Part I In this post, we give an introduction to the survey and then provide the first part of a result summary. This part is about who is using Coq and in what context. See also the sec…
    • generator
      Discourse 3.5.0.beta6-dev - https://github.com/discourse/discourse version ce9ece434fb81fd967650aa9cbb7eb6f8cbd3947
    • theme-color
      #fff

  • Open Graph Meta Tags

    9
    • 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-i/1730
    • og:title
      Coq Community Survey 2022 Results: Part I

  • Twitter Meta Tags

    9
    • 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-i/1730
    • twitter:title
      Coq Community Survey 2022 Results: Part I
    • twitter:description
      Coq Community Survey 2022 Results: Part I In this post, we give an introduction to the survey and then provide the first part of a result summary. This part is about who is using Coq and in what context. See also the second part on how people are using Coq, the third part on usage of Coq features, plugins, tools, and libraries, and the fourth and last part with the rest of the results, the links to the associated research paper and Zenodo artifact. We invite the Coq community to provide feedbac...

  • Item Prop Meta Tags

    19
    • position
      1
    • headline
      Coq Community Survey 2022 Results: Part I
    • datePublished
      2022-07-13T12:53:49Z
    • articleSection
      Announcements
    • keywords

  • Link Tags

    27
    • alternate nofollow
      https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-i/1730.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-i/1730
    • icon
      https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/7/77e7c8a8792c0834aba528ad564e0661585f90f8_2_32x32.png
    • search
      https://discourse.rocq-prover.org/opensearch.xml

Links

37