coq.discourse.group Coq.discourse.group

   
Rocq Prover - The Rocq Prover user and developer forum.

Domain Summary

What percent of global Internet users visit Coq.discourse.group?

• 7.0E-7% of global Internet users visit Coq.discourse.group

How many people visit Coq.discourse.group each day?

• Coq.discourse.group receives approximately 36 visitors and 77 page impressions per day.

How much Coq.discourse.group can earn?

• Coq.discourse.group should earn about $0.31/day from advertising revenue.

What is Coq.discourse.group estimated value?

• Estimated value of Coq.discourse.group is $292.60.

What IP addresses does Coq.discourse.group resolve to?

• Coq.discourse.group resolves to the IP addresses 184.105.99.43.

Where are Coq.discourse.group servers located in?

• Coq.discourse.group has servers located in Seattle, Washington, 98160, United States.

coq.discourse.group Profile

Title:Rocq Prover - The Rocq Prover user and developer forum. Description:The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.
Edit Site Info

What technologies does coq.discourse.group use?

These are the technologies used at coq.discourse.group. coq.discourse.group has a total of 6 technologies installed in 7 different categories.
Message Boards
Discourse Discourse
Security
HSTS HSTS
Web Servers
Nginx Nginx
Reverse proxies
Nginx Nginx
Miscellaneous
Open Graph Open Graph
Web Frameworks
Ruby on Rails Ruby on Rails
Programming Languages
Ruby Ruby

coq.discourse.group Traffic Analysis

This website is viewed by an estimated 36 visitors daily, generating a total of 77 pageviews. This equates to about 1.1K monthly visitors.
Daily Visitors36
Monthly Visits1.1K
Pages per Visit2.15
Visit duration00:45
Bounce Rate42.62%
Is this your site?Verify your site's metrics.
Daily Unique Visitors:
36
Monthly Visits:
1,091
Pages per Visit:
2.15
Daily Pageviews:
77
Avg. visit duration:
00:45
Bounce rate:
42.62%
Global Reach:
7.0E-7%
Monthly Visits (SimilarWeb):
1,067
HypeRank:
n/a
SEMrush Rank:
8,872,526
*All traffic values are estimates only.

Total Visits Last 3 Months

2.3K
FEB
1.1K
MAR
1.1K
APR
Last update was 25 days ago
     
This can take up to 60 seconds. Please wait...

*HypeStat.com is not promoting or affiliated with coq.discourse.group in any way. Only publicly available statistics data are displayed.

Search Engine Indexes ▼

Search engine indexes are huge databases or collections of net pages that search engines like google like google and yahoo use to retrieve applicable facts while customers carry out searches. These indexes are created through search engines like google and yahoo through crawling and indexing net pages from throughout the internet.
Google Index:
959

  ▼

SEMrush is a complete on line advertising and marketing platform that gives a extensive variety of gear and functions to help companies and entrepreneurs in enhancing their on line visibility and optimizing their virtual advertising and marketing strategies.
SemRushSemRush
Domain:
  coq.discourse.group
Rank:
(Rank based on keywords, cost and organic traffic)
  8,872,526
Organic Keywords:
(Number of keywords in top 20 Google SERP)
  55
Organic Traffic:
(Number of visitors coming from top 20 search results)
  5
Organic Cost:
((How much need to spend if get same number of visitors from Google Adwords)
  $0.00
Full SEMrush Report >>

Revenue report ▼

Google.com would generate approximately $0.3 per day if the source of income were advertisements, which equates to an estimated monthly revenue of $9.3 and annual gross revenue of approximately $113.2. Based on these figures, the site's net worth is estimated at around $292.6.

How much would coq.discourse.group make?

Daily Revenue:
$0.31
Monthly Revenue:
$9.30
Yearly Revenue:
$113.15
*All earnings values are estimates only.

How much is coq.discourse.group worth?

Website Value:
$292.6

Ad Experience Report ▼

Summary of the ad experience rating of a website for a specific platform.

Mobile summary

Root domain:
coq.discourse.group
Ad filtering:
(Chrome is not filtering ads on your site.)
Off
Status:
(The status of the site that is reviewed for the Better Ads Standards.)
Not reviewed

Desktop summary

Root domain:
coq.discourse.group
Ad filtering:
(Chrome is not filtering ads on your site.)
Off
Status:
(The status of the site that is reviewed for the Better Ads Standards.)
Not reviewed

Abusive Experience Report ▼

Summary of the abusive experience rating of a website.
Root domain:
coq.discourse.group
Enforcement:
(Chrome is not preventing your site from opening new windows or tabs.)
Off
Status:
(The status of the site reviewed for the abusive experiences.)
Not reviewed

Where is coq.discourse.group hosted? ▼

Coq.discourse.group may be hosted in multiple data centers distributed in different locations around the world. This is probably just one of them.

How fast does coq.discourse.group load? ▼

The average loading time of coq.discourse.group is 1218 ms. The Desktop speed index is 99 and mobile speed index is 86.
Average Load Time:
1218 ms

Page Speed (Google PageSpeed Insights) - Desktop

99
0-49 50-89 90-100 i

Field Data

Over the last 30 days, the field data shows that this page has a AVERAGE speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.

Cumulative Layout Shift (CLS)0ms 100% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 100% 0% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 0% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)1.1s 58% of loads for this page have a fast (<0.8s) Time To First Byte (TTFB) 58% 32% of loads for this page have an average (0.8s ~ 1.8s) Time To First Byte (TTFB) 32% 8% of loads for this page have a slow (>1.8s) Time To First Byte (TTFB) 8%
First Contentful Paint (FCP)1.2s 88% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 88% 9% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 9% 2% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 2%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average (0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interaction To Next Paint (INP)0 0% of loads for this page have a fast (<0ms) Interaction To Next Paint (INP) 0% 0% of loads for this page have an average (0ms ~ 0ms) Interaction To Next Paint (INP) 0% 0% of loads for this page have a slow (>0ms) Interaction To Next Paint (INP) 0%
Largest Contentful Paint (LCP)1.3s 94% of loads for this page have a fast (<2500ms) Largest Contentful Paint (LCP) 94% 5% of loads for this page have an average (2500ms ~ 4000ms) Largest Contentful Paint (LCP) 5% 0% of loads for this page have a slow (>4000ms) Largest Contentful Paint (LCP) 0%

Origin Data

All pages served from this origin have an AVERAGE speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.

Cumulative Layout Shift (CLS)0ms 100% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 100% 0% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 0% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)1.1s 58% of loads for this page have a fast (<0.8s) Time To First Byte (TTFB) 58% 32% of loads for this page have an average (0.8s ~ 1.8s) Time To First Byte (TTFB) 32% 8% of loads for this page have a slow (>1.8s) Time To First Byte (TTFB) 8%
First Contentful Paint (FCP)1.2s 88% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 88% 9% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 9% 2% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 2%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average 0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interaction To Next Paint (INP)0 0% of loads for this page have a fast (<0ms) Interaction To Next Paint (INP) 0% 0% of loads for this page have an average (0ms ~ 0ms) Interaction To Next Paint (INP) 0% 0% of loads for this page have a slow (>0ms) Interaction To Next Paint (INP) 0%
Largest Contentful Paint (LCP)1.3s 94% of loads for this page have a fast (<2500ms) Largest Contentful Paint (LCP) 94% 5% of loads for this page have an average (2500ms ~ 4000ms) Largest Contentful Paint (LCP) 5% 0% of loads for this page have a slow (>4000ms) Largest Contentful Paint (LCP) 0%

Lab Data

Speed Index 1.1 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
Largest Contentful Paint image was not lazily loaded  
Above-the-fold images that are lazily loaded render later in the page lifecycle, which can delay the largest contentful paint. Learn more about optimal lazy loading
First Contentful Paint 0.8 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
Font display  
Consider setting to swap or optional to ensure text is consistently visible. swap can be further optimized to mitigate layout shifts with . font-display font metric overrides
Legacy JavaScript  
Polyfills and transforms enable legacy browsers to use new JavaScript features. However, many aren't necessary for modern browsers. Consider modifying your JavaScript build process to not transpile features, unless you know you must support legacy browsers. Baseline Learn why most sites can deploy ES6+ code without transpiling
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
INP by phase  
Start investigating with the longest phase. To reduce processing duration, , often JS. Delays can be minimized optimize the main-thread costs
Improve image delivery  
Reducing the download time of images can improve the perceived load time of the page and LCP. Learn more about optimizing image size
Time to Interactive 0.8 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
LCP request discovery  
Optimize LCP by making the LCP image from the HTML immediately, and discoverable avoiding lazy-loading
Lazy load third-party resources with facades  
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Duplicated JavaScript  
Remove large, duplicate JavaScript modules from bundles to reduce unnecessary bytes consumed by network activity.
Largest Contentful Paint 0.8 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Preload Largest Contentful Paint image  
If the LCP element is dynamically added to the page, you should preload the image in order to improve LCP. Learn more about preloading LCP elements
First Meaningful Paint  
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
Use efficient cache lifetimes  
A long cache lifetime can speed up repeat visits to your page. Learn more
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric

Page Speed (Google PageSpeed Insights) - Mobile

86
0-49 50-89 90-100 i

Field Data

Over the last 30 days, the field data shows that this page has a FAST speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.

Cumulative Layout Shift (CLS)1ms 100% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 89% 10% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 10% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)529ms 58% of loads for this page have a fast (<800s) Time To First Byte (TTFB) 86% 12% of loads for this page have an average (800s ~ 1800s) Time To First Byte (TTFB) 12% 1% of loads for this page have a slow (>1800s) Time To First Byte (TTFB) 1%
First Contentful Paint (FCP)832ms 88% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 96% 2% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 2% 1% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 1%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average (0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interactive To Next Paint (INP)0 0% of loads for this page have a fast (<0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have an average (0s ~ 0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have a slow (>0s) Interactive To Next Paint (INP) 0%
Largest Contentful Paint (LCP)852ms 94% of loads for this page have a fast (<2500s) Largest Contentful Paint (LCP) 97% 1% of loads for this page have an average (2500s ~ 4000s) Largest Contentful Paint (LCP) 1% 0% of loads for this page have a slow (>4000s) Largest Contentful Paint (LCP) 0%

Origin Data

All pages served from this origin have an FAST speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.

Cumulative Layout Shift (CLS)1ms 89% of loads for this page have a fast (<0.01s) Cumulative Layout Shift (CLS) 89% 10% of loads for this page have an average (0.01s ~ 0.025s) Cumulative Layout Shift (CLS) 10% 0% of loads for this page have a slow (>0.025s) Cumulative Layout Shift (CLS) 0%
Time To First Byte (TTFB)529ms 86% of loads for this page have a fast (<0.8s) Time To First Byte (TTFB) 86% 12% of loads for this page have an average (0.8s ~ 1.8s) Time To First Byte (TTFB) 12% 1% of loads for this page have a slow (>1.8s) Time To First Byte (TTFB) 1%
First Contentful Paint (FCP)832ms 96% of loads for this page have a fast (<1.8s) First Contentful Paint (FCP) 96% 2% of loads for this page have an average (1.8s ~ 3s) First Contentful Paint (FCP) 2% 1% of loads for this page have a slow (>3s) First Contentful Paint (FCP) 1%
First Input Delay (FID)0 0% of loads for this page have a fast (<0ms) First Input Delay (FID) 0% 0% of loads for this page have an average 0ms ~ 0ms) First Input Delay (FID) 0% 0% of loads for this page have a slow (>0ms) First Input Delay (FID) 0%
Interactive To Next Paint (INP)0 0% of loads for this page have a fast (<0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have an average (0s ~ 0s) Interactive To Next Paint (INP) 0% 0% of loads for this page have a slow (>0s) Interactive To Next Paint (INP) 0%
Largest Contentful Paint (LCP)852ms 97% of loads for this page have a fast (<2.5s)Largest Contentful Paint (LCP) 97% 1% of loads for this page have an average (2.5s ~ 4s)Largest Contentful Paint (LCP) 1% 0% of loads for this page have a slow (>4s)Largest Contentful Paint (LCP) 0%

Lab Data

Largest Contentful Paint 3.2 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Preload Largest Contentful Paint image  
If the LCP element is dynamically added to the page, you should preload the image in order to improve LCP. Learn more about preloading LCP elements
Lazy load third-party resources with facades  
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Use efficient cache lifetimes  
A long cache lifetime can speed up repeat visits to your page. Learn more
Legacy JavaScript  
Polyfills and transforms enable legacy browsers to use new JavaScript features. However, many aren't necessary for modern browsers. Consider modifying your JavaScript build process to not transpile features, unless you know you must support legacy browsers. Baseline Learn why most sites can deploy ES6+ code without transpiling
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Largest Contentful Paint image was not lazily loaded  
Above-the-fold images that are lazily loaded render later in the page lifecycle, which can delay the largest contentful paint. Learn more about optimal lazy loading
Duplicated JavaScript  
Remove large, duplicate JavaScript modules from bundles to reduce unnecessary bytes consumed by network activity.
INP by phase  
Start investigating with the longest phase. To reduce processing duration, , often JS. Delays can be minimized optimize the main-thread costs
Speed Index 3.4 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
Time to Interactive 3.2 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
LCP request discovery  
Optimize LCP by making the LCP image from the HTML immediately, and discoverable avoiding lazy-loading
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
Font display  
Consider setting to swap or optional to ensure text is consistently visible. swap can be further optimized to mitigate layout shifts with . font-display font metric overrides
Improve image delivery  
Reducing the download time of images can improve the perceived load time of the page and LCP. Learn more about optimizing image size
First Contentful Paint 3.2 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
First Meaningful Paint  
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric

Does coq.discourse.group use compression? ▼

Website compression is the process of reducing the size of website files, such as HTML, CSS, JavaScript, and image files, to improve website performance and load times. Compressing website files can significantly reduce the amount of data that needs to be transferred from the server to the user's browser, resulting in faster page load times and improved user experience. Files on coq.discourse.group are reduced by 82%.
coq.discourse.group use br compression.
Original size: 17.27 KB
Compressed size: 3.06 KB
File reduced by: 14.21 KB (82%)

Google Safe Browsing ▼

Google Safe Browsing is a service provided by Google that helps protect users from visiting websites that may contain malicious or harmful content, such as malware, phishing attempts, or deceptive software.
This site is not currently listed as suspicious

MyWot.com Reputation Ratings

MyWOT (short for "My Web of Trust") is a web-based reputation and rating service that provides users with information about the trustworthiness and safety of websites.
Status:
  SAFE

SSL Checker - SSL Certificate Verify ▼

An SSL (Secure Sockets Layer) certificate is a digital certificate that establishes a secure encrypted connection between a web server and a user's web browser. It provides authentication and encryption, ensuring that data transmitted between the server and the browser remains private and protected. coq.discourse.group supports HTTPS.
 coq.discourse.group supports HTTPS
     
Verifying SSL Support. Please wait...
Common Name: discourse.rocq-prover.org
Organization:
Location:
Issuer: R11
Valid from: May 20 00:01:35 2025 GMT
Valid until: Aug 18 00:01:34 2025 GMT
Authority: CA:FALSE
Keysize: 2048 Bits
Common Name: R11
Organization: Let's Encrypt
Location: US
Issuer: ISRG Root X1
Valid from: Mar 13 00:00:00 2024 GMT
Valid until: Mar 12 23:59:59 2027 GMT
Authority: CA:TRUE
Keysize: 2048 Bits

Verify HTTP/2 Support ▼

HTTP/2 (Hypertext Transfer Protocol version 2) is a major revision of the HTTP protocol, which is the foundation of data communication on the World Wide Web. It was developed as an improvement over the previous HTTP/1.1 version to enhance web performance and efficiency.
 coq.discourse.group supports HTTP/2
     
Verifying HTTP/2.0 Support. Please wait...

Http Header ▼

HTTP headers are extra portions of records despatched among a consumer (which include an internet browser) and a server at some stage in an HTTP request or response. They offer instructions, metadata, or manipulate parameters for the conversation among the consumer and server. 
content-length: 0
location: https://discourse.rocq-prover.org/
cdck-proxy-id: app-router-tieadvanced03.sea1
cdck-proxy-id: app-balancer-tieinterceptor1b.sea1

HTTP/2 200 
server: nginx
date: Sat, 07 Jun 2025 20:51:03 GMT
content-type: text/html; charset=utf-8
vary: Accept-Encoding
x-frame-options: SAMEORIGIN
x-xss-protection: 0
x-content-type-options: nosniff
x-permitted-cross-domain-policies: none
referrer-policy: strict-origin-when-cross-origin
x-discourse-route: categories/index
vary: Accept
cross-origin-opener-policy: same-origin-allow-popups
cache-control: no-cache, no-store
content-security-policy: upgrade-insecure-requests; base-uri 'self'; object-src 'none'; script-src 'nonce-7rvx7a9Xr2I0ug6VIGJT1jfPq' 'strict-dynamic'; frame-ancestors 'self'; manifest-src 'self'
x-discourse-cached: skip
x-request-id: 612dc2b8-4cb8-4b42-810c-42135564e6ea
x-discourse-trackview: 1
content-encoding: br
cdck-proxy-id: app-router-tieadvanced03.sea1
strict-transport-security: max-age=31536000
cdck-proxy-id: app-balancer-tieinterceptor1b.sea1

DNS Lookup ▼

DNS entries (Domain Name System) are a critical component of the Internet infrastructure. They act as directories that translate human-readable domain names (such as example.com) to machine-readable IP addresses. DNS records are stored on DNS servers and help forward internet traffic efficiently.
Type Ip Target/Txt TTL
CNAME coq.hosted-by-discourse.com 300

Whois Lookup ▼

Domain WHOIS is a public database that provides information about domain names, including registered owners, contact information, domain registrars, registration and expiration dates, name servers, and other relevant information.
WhoIs:
 

Malformed request.
>>> Last update of WHOIS database: 2025-06-07T20:51:47Z