coq.discourse.group/c/coq-in-chinese/15
Preview meta tags from the coq.discourse.group website.
Linked Hostnames
4Thumbnail
Search Engine Appearance
https://coq.discourse.group/c/coq-in-chinese/15
[zh] Coq 中文
本版以中文讨论 Coq 相关话题。
Bing
[zh] Coq 中文
https://coq.discourse.group/c/coq-in-chinese/15
本版以中文讨论 Coq 相关话题。
DuckDuckGo
https://coq.discourse.group/c/coq-in-chinese/15[zh] Coq 中文
本版以中文讨论 Coq 相关话题。
General Meta Tags
6- titleLatest [zh] Coq 中文 topics - Coq
- charsetutf-8
- description本版以中文讨论 Coq 相关话题。
- generatorDiscourse 3.4.0.beta2-dev - https://github.com/discourse/discourse version ed4791d0b018e8a1608d4912728e3438ce4148d8
- theme-color#ffffff
Open Graph Meta Tags
6- og:site_nameCoq
- og:typewebsite
- og:imagehttps://canada1.discourse-cdn.com/free1/uploads/coq/original/1X/d6c87881afe17be6e590f96af1946f5e4d01948f.png
- og:urlhttps://coq.discourse.group/c/coq-in-chinese/15
- og:title[zh] Coq 中文
Twitter Meta Tags
5- twitter:cardsummary
- twitter:imagehttps://canada1.discourse-cdn.com/free1/uploads/coq/original/1X/d6c87881afe17be6e590f96af1946f5e4d01948f.png
- twitter:urlhttps://coq.discourse.group/c/coq-in-chinese/15
- twitter:title[zh] Coq 中文
- twitter:description本版以中文讨论 Coq 相关话题。
Item Prop Meta Tags
12- itemListOrderhttp://schema.org/ItemListOrderDescending
- position1
- position2
- position3
- position4
Link Tags
30- alternatehttps://coq.discourse.group/posts.rss
- alternatehttps://coq.discourse.group/latest.rss
- alternate nofollowhttps://coq.discourse.group/c/coq-in-chinese/15.rss
- apple-touch-iconhttps://canada1.discourse-cdn.com/free1/uploads/coq/optimized/1X/85bad3e1b237e58575d11441f4cdbb41ea003a20_2_180x180.png
- canonicalhttps://coq.discourse.group/c/coq-in-chinese/15
Links
38- https://coq.discourse.group
- https://coq.discourse.group/c/coq-in-chinese/15
- https://coq.discourse.group/c/coq-in-chinese/chinese-translation/23
- https://coq.discourse.group/c/coq-in-chinese/chinese-tutorial/24
- https://coq.discourse.group/c/coq-in-chinese/coq-in-chinese-announcements/16