discourse.rocq-prover.org/c/miscellaneous/10
Preview meta tags from the discourse.rocq-prover.org website.
Linked Hostnames
3Thumbnail
Search Engine Appearance
https://discourse.rocq-prover.org/c/miscellaneous/10
Miscellaneous
Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
Bing
Miscellaneous
https://discourse.rocq-prover.org/c/miscellaneous/10
Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
DuckDuckGo
https://discourse.rocq-prover.org/c/miscellaneous/10Miscellaneous
Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
General Meta Tags
7- titleLatest Miscellaneous topics - Rocq Prover
- charsetutf-8
- descriptionTopics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
- generatorDiscourse 3.5.0.beta8-dev - https://github.com/discourse/discourse version a66b10cc16bc8395dddb4034ef35c6f98dbdfbc9
- 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/miscellaneous/10
- og:titleMiscellaneous
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/miscellaneous/10
- twitter:titleMiscellaneous
- twitter:descriptionTopics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
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/miscellaneous/10.rss
- apple-touch-iconhttps://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png
- canonicalhttps://discourse.rocq-prover.org/c/miscellaneous/10
Links
98- https://discourse.rocq-prover.org
- https://discourse.rocq-prover.org/c/miscellaneous/10
- https://discourse.rocq-prover.org/c/miscellaneous/10?page=1
- https://discourse.rocq-prover.org/categories
- https://discourse.rocq-prover.org/guidelines