discourse.rocq-prover.org/c/announcements/8
Preview meta tags from the discourse.rocq-prover.org website.
Linked Hostnames
3Thumbnail
Search Engine Appearance
https://discourse.rocq-prover.org/c/announcements/8
Announcements
Announce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
Bing
Announcements
https://discourse.rocq-prover.org/c/announcements/8
Announce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
DuckDuckGo
https://discourse.rocq-prover.org/c/announcements/8Announcements
Announce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
General Meta Tags
7- titleLatest Announcements topics - Rocq Prover
- charsetutf-8
- descriptionAnnounce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
- generatorDiscourse 3.5.0.beta8-dev - https://github.com/discourse/discourse version 725bd65dfea894809838595ed04db647107b8c07
- theme-color#fff
Open Graph Meta Tags
6- og:site_nameRocq Prover
- og:typewebsite
- og:imagehttps://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png
- og:urlhttps://discourse.rocq-prover.org/c/announcements/8
- og:titleAnnouncements
Twitter Meta Tags
5- twitter:cardsummary
- twitter:imagehttps://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png
- twitter:urlhttps://discourse.rocq-prover.org/c/announcements/8
- twitter:titleAnnouncements
- twitter:descriptionAnnounce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
Item Prop Meta Tags
31- itemListOrderhttp://schema.org/ItemListOrderDescending
- position1
- position2
- position3
- position4
Link Tags
28- alternatehttps://discourse.rocq-prover.org/posts.rss
- alternatehttps://discourse.rocq-prover.org/latest.rss
- alternate nofollowhttps://discourse.rocq-prover.org/c/announcements/8.rss
- apple-touch-iconhttps://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png
- canonicalhttps://discourse.rocq-prover.org/c/announcements/8
Links
79- https://discourse.rocq-prover.org
- https://discourse.rocq-prover.org/c/announcements/8
- https://discourse.rocq-prover.org/c/announcements/8?page=1
- https://discourse.rocq-prover.org/categories
- https://discourse.rocq-prover.org/guidelines