Coq.inria.fr - Welcome! | The Coq Proof Assistant
Coq.inria.fr is the 15751:th largest website within the world. The website is created in n/a, owned by n/a, currently located in France and is running on IP coq.paris.inria.fr. registered by AFNIC network. This site not uses Javascript for user interaction. This site not uses CSS to manage the site layout. This site is running on the Apache webserver. The server side programming lanquage of the site is n/a. Coq.inria.fr Google Pagerank is n/a and it's domain is Country Domain. Coq.inria.fr estimated worth is $253,477.80, with 63489 estimated visites per day and ad revenue of $190.47.

General Info Analysis

World Rank: #15751
Created: n/a
Expires: n/a
Google PR: n/a
Load Time: 0.12 seconds
Owner: n/a
Hosted: France
Host IP: coq.paris.inria.fr.
Registrar AFNIC
Family Safety:
Charset: n/a

Meta Tags Analysis

Title: Welcome! | The Coq Proof Assistant
Description: n/a
Keywords:
Author: n/a

Website Value Analysis

We are absolutely certain that every one is able to earn money from his website, Therefor we will display a short estimated numbers that might be achievable through dedication and seriousness work on your website.
Our estimations point that your Website Value is $253,477.80, Your Daily Visitors could be in the area of 63489 per day and your potential Daily Revenues could be around $190.47.

Website Theme Colors

Website theme colors for current domain a N/A but you definitely can check some colors from FoxColors webmaster service.
                   

Provided by FoxColors - Color hex code related information and conversions


Technical Info Analysis

Server DNS A: coq.paris.inria.fr.
Server DNS NS: coq.paris.inria.fr
Server Name:
Server Type: Apache
Server Side Language: n/a
Javascript Usage: no
CSS Usage: no
RSS Usage: no
Google AdSense Usage: no
Code to Text: 43.753 %
Additional Technologies: n/a


Domain Name Analysis

Domain: Coq.inria.fr
Length: 12 characters
Created: n/a
Expires: n/a
Owner: n/a
Registrar: AFNIC
Extension: fr


Keywords Density Analysis

Keyword Count Density (%)
Coq 21 8.75
Documentation 5 2.08
Proof 4 1.67
Community 4 1.67
Assistant 3 1.25
Reference 3 1.25
Library 3 1.25
Formal 3 1.25
See 2 0.83
Manual 2 0.83
Standard 2 0.83
Documents 2 0.83
Certification 2 0.83
News 2 0.83
Programming 2 0.83
Package 2 0.83
Tools 2 0.83
Formalization 2 0.83
Dec 2 0.83
Gmt 2 0.83
Redesigned 1 0.42

HTTP Header Analysis

Date: Tue, 26 Dec 2017 00:10:59 GMT
Server: Apache
Strict-Transport-Security: max-age=31536000; includeSubDomains; preload
Location: https://coq.inria.fr/
Content-Length: 229
Content-Type: text/html; charset=iso-8859-1

Website Speed Analysis

Header Size: 0 KB
Request Size: 0 KB
Name Lookup Time: 0.00 seconds
Connect Time: 0.00 seconds
Pretransfer Time: 0.00 seconds
Total Time: 0.12 seconds
Size Download: 0 KB
Speed Download: 0 KB/S

Geo Location Analysis

Server Country Code: FR
Server Country Name: France
Server City Name: Le Chesnay
Server Region Name: A8
Server Zip Code: 78150
Server Latitude: 48.822200775146
Server Longitude: 2.1221001148224


Network IP Calcualtor

INVALID ADDRESS coq.paris.inria.fr.
Address 192.168.1.1 11000000.10101000.00000001.00000001
Netmask 255.255.255.0 = 24 11111111.11111111.11111111.00000000
Wildcard 0.0.0.255 00000000.00000000.00000000.11111111
Network 192.168.1.0/24 11000000.10101000.00000001.00000000
HostMin 192.168.1.1 11000000.10101000.00000001.00000001
HostMax 192.168.1.254 11000000.10101000.00000001.11111110
Broadcast 192.168.1.255 11000000.10101000.00000001.11111111
Hosts/Net 254 Class C, Private Internet

Alternative Domain Spelling

ioq.inria, woq.inria, coz.inria, coqginria, coquinria, coq.bnria, coq.dnria, coq.hnria, coq.pnria, coq.ilria, coq.inria, coq.ioria, coq.irria, coq.itria, coq.iwria, coq.injia, coq.inwia, coq.inri, coq.inrii, coq.inril, coq.inrir, coq.inriy, gcoq.inria, xcoq.inria, caoq.inria, cioq.inria, czoq.inria, cofq.inria, cokq.inria, cooq.inria, copq.inria, cowq.inria, coqb.inria, coqj.inria, coqq.inria, coq.ibnria, coq.intria, coq.inrhia, coq.inriia, coq.inrlia, coq.inrria, coq.inrsia, coq.inrzia, coq.inrisa, coq.inriai, coq.inrial, coq.inrian, coq.inriao, coq.inrias, coq.inriau,


Website Whois Analysis

%% * . * *
%% This is the AFNIC Whois server. * . . /.\ .
%% . /.^'\ *
%% complete date format : DD/MM/YYYY * * /'.'\
%% short date format : DD/MM . * /.^'.'\ .
%% version : FRNIC-2.5 . . /'.^'.\ .
%% * ^^|_|^^ *
%% Rights restricted by copyright.
%% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%%
%% Use '-h' option to obtain more information about this service.
%%
%% [69.197.147.210 REQUEST] >> coq.inria.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%

%% No entries found in the AFNIC Database.


Website Report Menu

Recent Websites

Visited Websites

Similar Alexa

FoxMos Widget

FoxMos

Copy & Paste code at your site or blog!

FoxMaster Latest Posts