area51.stackexchange.com/proposals/lookup/proofassistants.stackexchange.com

Preview meta tags from the area51.stackexchange.com website.

Linked Hostnames

17

Search Engine Appearance

Google

https://area51.stackexchange.com/proposals/lookup/proofassistants.stackexchange.com

Proof Assistants - A Stack Exchange Proposal

Beta Q&A site for mathematicians and computer scientists who develop and use proof assistants.



Bing

Proof Assistants - A Stack Exchange Proposal

https://area51.stackexchange.com/proposals/lookup/proofassistants.stackexchange.com

Beta Q&A site for mathematicians and computer scientists who develop and use proof assistants.



DuckDuckGo

https://area51.stackexchange.com/proposals/lookup/proofassistants.stackexchange.com

Proof Assistants - A Stack Exchange Proposal

Beta Q&A site for mathematicians and computer scientists who develop and use proof assistants.

  • General Meta Tags

    3
    • title
      Proof Assistants - Area 51 - Stack Exchange
    • bingbot
      noarchive
    • og:image
      https://cdn.sstatic.net/stackexchange/img/apple-touch-icon.png

  • Open Graph Meta Tags

    2
    • og:title
      Proof Assistants - A Stack Exchange Proposal
    • og:description
      Beta Q&A site for mathematicians and computer scientists who develop and use proof assistants.

  • Link Tags

    8
    • alternate
      /feeds/proposal/126242
    • apple-touch-icon
      https://cdn.sstatic.net/area51/img/apple-touch-icon.png
    • canonical
      https://area51.stackexchange.com/proposals/126242/proof-assistants
    • shortcut icon
      https://cdn.sstatic.net/area51/img/favicon.ico
    • stylesheet
      https://cdn.sstatic.net/area51/all.css?v=2

Links

67