coq.discourse.group/t/coq-community-survey-2022-results-part-iii/1777

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

Linked Hostnames

14

Thumbnail

Search Engine Appearance

Google

https://coq.discourse.group/t/coq-community-survey-2022-results-part-iii/1777

Coq Community Survey 2022 Results: Part III

Coq Community Survey 2022 Results: Part III This is the third post summarizing the results of the Coq Community Survey 2022. It covers Coq features, tools, plugins and libraries and their respective popularity. The first…



Bing

Coq Community Survey 2022 Results: Part III

https://coq.discourse.group/t/coq-community-survey-2022-results-part-iii/1777

Coq Community Survey 2022 Results: Part III This is the third post summarizing the results of the Coq Community Survey 2022. It covers Coq features, tools, plugins and libraries and their respective popularity. The first…



DuckDuckGo

https://coq.discourse.group/t/coq-community-survey-2022-results-part-iii/1777

Coq Community Survey 2022 Results: Part III

Coq Community Survey 2022 Results: Part III This is the third post summarizing the results of the Coq Community Survey 2022. It covers Coq features, tools, plugins and libraries and their respective popularity. The first…

  • General Meta Tags

    8
    • title
      Coq Community Survey 2022 Results: Part III - Announcements - Rocq Prover
    • charset
      utf-8
    • description
      Coq Community Survey 2022 Results: Part III This is the third post summarizing the results of the Coq Community Survey 2022. It covers Coq features, tools, plugins and libraries and their respective popularity. The first…
    • 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-iii/1777
    • og:title
      Coq Community Survey 2022 Results: Part III

  • 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-iii/1777
    • twitter:title
      Coq Community Survey 2022 Results: Part III
    • twitter:description
      Coq Community Survey 2022 Results: Part III This is the third post summarizing the results of the Coq Community Survey 2022. It covers Coq features, tools, plugins and libraries and their respective popularity. The first part focused on who respondents are, while the second part focused on how they use Coq. . 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 Coq community to provide feedback as replies to...

  • Item Prop Meta Tags

    17
    • position
      1
    • headline
      Coq Community Survey 2022 Results: Part III
    • datePublished
      2022-08-31T11:34:58Z
    • articleSection
      Announcements
    • keywords

  • Link Tags

    27
    • alternate nofollow
      https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-iii/1777.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-iii/1777
    • 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

65