Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
# See http://www.robotstxt.org/robotstxt.html for documentation on how to use the robots.txt file # User-agent: mauibot Disallow: / User-agent: semrushbot Disallow: / User-agent: ahrefsbot Disallow: / User-agent: blexbot Disallow: / User-agent: seo spider Disallow: / User-agent: * Disallow: /admin/ Disallow: /auth/ Disallow: /assets/browser-update*.js Disallow: /email/ Disallow: /session Disallow: /user-api-key Disallow: /*?api_key* Disallow: /*?*api_key* Disallow: /badges Disallow: /u/ Disallow: /my Disallow: /search Disallow: /tag/*/l Disallow: /g Disallow: /t/*/*.rss Disallow: /c/*.rss User-agent: Googlebot Disallow: /admin/ Disallow: /auth/ Disallow: /assets/browser-update*.js Disallow: /email/ Disallow: /session Disallow: /user-api-key Disallow: /*?api_key* Disallow: /*?*api_key* Sitemap: |
Title | Coq - The Coq proof assistant user and developer |
Description | The Coq Discourse is meant to be a standard place to discuss questions about the Coq system and related |
Keywords | N/A |
WebSite | coq.discourse.group |
Host IP | 64.71.144.202 |
Location | United States |
Site | Rank |
US$1,005
Last updated: 2023-05-16 20:59:13
coq.discourse.group has Semrush global rank of 0. coq.discourse.group has an estimated worth of US$ 1,005, based on its estimated Ads revenue. coq.discourse.group receives approximately 116 unique visitors each day. Its web server is located in United States, with IP address 64.71.144.202. According to SiteAdvisor, coq.discourse.group is safe to visit. |
Purchase/Sale Value | US$1,005 |
Daily Ads Revenue | US$0 |
Monthly Ads Revenue | US$27 |
Yearly Ads Revenue | US$334 |
Daily Unique Visitors | 7 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
coq.discourse.group. | A | 899 | IP: coq.hosted-by-discourse.com. |
coq.hosted-by-discourse.com. 898 IN | A | IP: 64.71.144.202 | |
coq.discourse.group. | AAAA | 898 | IPV6: coq.hosted-by-discourse.com. |
coq.hosted-by-discourse.com. 900 IN | AAAA | IPV6: 2602:fd3f:3:ff01::ca | |
coq.discourse.group. | NS | 898 | NS Record: coq.hosted-by-discourse.com. |
coq.discourse.group. | MX | 898 | MX Record: coq.hosted-by-discourse.com. |
coq.hosted-by-discourse.com. 900 IN | MX | MX Record: 10 mx-corp1.discoursemail.com. | |
coq.hosted-by-discourse.com. 900 IN | MX | MX Record: 20 mx-corp.discoursemail.com. | |
coq.discourse.group. | TXT | 898 | TXT Record: coq.hosted-by-discourse.com. |
Website Documentation Community GitHub Bug reports Wiki |
HTTP/1.1 301 Moved Permanently content-length: 0 location: https://coq.discourse.group/ HTTP/2 200 server: nginx date: Mon, 14 Feb 2022 08:31:38 GMT content-type: text/html; charset=utf-8 vary: Accept-Encoding x-frame-options: SAMEORIGIN x-xss-protection: 1; mode=block x-content-type-options: nosniff x-download-options: noopen x-permitted-cross-domain-policies: none referrer-policy: strict-origin-when-cross-origin x-discourse-route: categories/index vary: Accept cache-control: no-cache, no-store content-security-policy: upgrade-insecure-requests; base-uri 'self'; object-src 'none'; script-src https://coq.discourse.group/logs/ https://coq.discourse.group/sidekiq/ https://coq.discourse.group/mini-profiler-resources/ https://aws1.discourse-cdn.com/free1/assets/ https://aws1.discourse-cdn.com/free1/brotli_asset/ https://coq.discourse.group/extra-locales/ https://sea1.discourse-cdn.com/free1/highlight-js/ https://sea1.discourse-cdn.com/free1/javascripts/ https://sea1.discourse-cdn.com/free1/plugins/ https://sea1.discourse-cdn.com/free1/theme-javascripts/ https://sea1.discourse-cdn.com/free1/svg-sprite/; worker-src 'self' https://aws1.discourse-cdn.com/free1/assets/ https://aws1.discourse-cdn.com/free1/brotli_asset/ https://sea1.discourse-cdn.com/free1/javascripts/ https://sea1.discourse-cdn.com/free1/plugins/; frame-ancestors 'self'; manifest-src 'self' x-request-id: b8ba0547-cb05-441d-905c-375648b57792 discourse-proxy-id: app-router-tiehunter03.sea1 strict-transport-security: max-age=31536000 |