coq.inria.fr-welcome! | the coq proof assistant

Données techniques du coq.inria.fr

Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte coq.inria.fr.Actuellement, hébergé dans France et son fournisseur de services est Institut National de Recherche en Informatique et Automatique .

Latitude:	48.822200775146
Longitude:	2.1221299171448
Pays:	France (fr)
Ville:	Le Chesnay
Région:	Ile-de-France
ISP:	Institut National de Recherche en Informatique et Automatique

the related websites

domaine	Titre

restaurantlecoq.fr

coq-hardi.fr

lecoqrougereims.fr

allocine.fr

Analyse d'en-tête HTTP

Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.

Content-Length:	2424
Content-Encoding:	gzip
Accept-Ranges:	bytes
Strict-Transport-Security:	max-age=31536000; includeSubDomains; preload
Vary:	Accept-Encoding
Keep-Alive:	timeout=15, max=100
Server:	Apache
Last-Modified:	Mon, 06 May 2019 12:39:54 GMT
Connection:	Keep-Alive
ETag:	"1c25-5883765b88c48-gzip"
Date:	Tue, 07 May 2019 20:56:31 GMT
Content-Type:	text/html

DNS

cname:	coq.paris.inria.fr.
ipv4:	IP:128.93.101.129 ASN:2200 OWNER:FR-RENATER Reseau National de telecommunications pour la Technologie, FR Country:FR

HtmlToText

home about coq get coq documentation community consortium news the coq proof assistant welcome! what is coq? coq is a formal proof management system. it provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. typical applications include the certification of properties of programming languages (e.g. the compcert compiler certification project, or the bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the feit-thompson theorem or homotopy type theory ) and teaching . more about coq how to get it? you can download the current stable version, coq 8.9.0 , released in january 2019. it features many quality-of-life improvements, including goal differences as well as numeral and custom notations. get coq 8.9.0 how to contribute? you can contribute to the development of coq by reporting bugs, submitting pull requests, improving the documentation, and in many other ways. we are also looking for sponsors who want to contribute financially through the coq consortium . if you are interested, please get in touch! bug tracker contributing guide coq consortium documentation the reference documentation for coq are the reference manual and the documentation of the standard library . other useful documents (tutorials, faq, ...) are available from the documentation page. reference manual standard library all documents the coq community there is a strong and active community of users working with coq. they are contributing formal developments, extensions of coq (see coq package index ), and tools based on coq (see related tools ). we have an active (multi-lingual) discourse forum . coq package index discourse forum community recent news coq 8.9.0 is out coq 8.9+beta1 is out coq 8.8.2 is out more syndicate webmaster xhtml valid css valid

Analyse PopURL pour coq.inria.fr

https://coq.inria.fr/
https://coq.inria.fr/about-coq
https://coq.inria.fr/documentation
https://coq.inria.fr/download
https://coq.inria.fr/a-short-introduction-to-coq
https://coq.inria.fr/tutorial-nahas
https://coq.inria.fr/library/
https://coq.inria.fr/community
https://coq.inria.fr/distrib/current/refman/
https://coq.inria.fr/tutorial/0-getting-started

Informations Whois

Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;

%%
%% 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.
%%
%% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> inria.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%

domain: inria.fr
status: ACTIVE
hold: NO
holder-c: INDR18-FRNIC
admin-c: MCP278-FRNIC
tech-c: GRST1-FRNIC
tech-c: ERI15-FRNIC
tech-c: ESI34-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL47418-FRNIC
registrar: GIP RENATER
Expiry Date: 31/12/2017
created: 01/01/1995
last-update: 01/08/2017
source: FRNIC

ns-list: NSL47418-FRNIC
nserver: dns.inria.fr [193.51.208.13]
nserver: dns-ext2.inria.fr [193.51.193.133]
nserver: dns.cs.wisc.edu
nserver: ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2]
source: FRNIC

registrar: GIP RENATER
type: Isp Option 1
address: 23-25 Rue Daviel
address: 75013 PARIS
country: FR
phone: +33 1 53 94 20 30
fax-no: +33 1 53 94 20 31
e-mail: domaine@renater.fr
website: http://www.renater.fr
anonymous: NO
registered: 01/01/1998
source: FRNIC

nic-hdl: INDR18-FRNIC
type: ORGANIZATION
contact: Institut National de Recherche en Informatique et en Automatique
address: Domaine de Voluceau
address: 78150 Rocquencourt
country: FR
phone: +33 1 39 63 55 11
fax-no: +33 1 39 63 53 30
e-mail: webmaster@inria.fr
registrar: GIP RENATER
changed: 27/06/2014 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligsource: REGISTRY
eligdate: 19/06/2014 13:26:29
source: FRNIC

nic-hdl: MCP278-FRNIC
type: PERSON
contact: Marie-Christine Plancon
address: INRIA
address: Domaine de Voluceau-Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: marie-christine.plancon@inria.fr
registrar: GIP RENATER
changed: 24/10/2013 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: GRST1-FRNIC
type: PERSON
contact: Gip Renater Support Technique Dns
address: GIP RENATER
address: 23-25, rue Daviel
address: 75013 Paris
country: FR
phone: +33 1 53 94 20 40
e-mail: support-dns@renater.fr
registrar: GIP RENATER
changed: 05/09/2017 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: ERI15-FRNIC
type: PERSON
contact: Equipe Reseau Inria
address: INRIA Siege
address: domaine de Voluceau-Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: dsi.sesi.reseau@inria.fr
registrar: GIP RENATER
changed: 06/01/2012 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: ESI34-FRNIC
type: PERSON
contact: Equipe Securite Inria
address: INRIA Siege
address: Domaine de Voluceau - Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: dsi.securite@inria.fr
registrar: GIP RENATER
changed: 06/01/2012 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

  REFERRER http://www.nic.fr

  REGISTRAR AFNIC

SERVERS

  SERVER fr.whois-servers.net

  ARGS inria.fr

  PORT 43

  TYPE domain
RegrInfo
DISCLAIMER
%
% 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.
%
% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> inria.fr
%
% RL Net [##########] - RL IP [#########.]
%

  REGISTERED yes

ADMIN

  HANDLE MCP278-FRNIC

  TYPE PERSON

  CONTACT Marie-Christine Plancon

ADDRESS
INRIA
Domaine de Voluceau-Rocquencourt
B.P. 105
78153 le Chesnay

  COUNTRY FR

  PHONE +33 1 39 63 55 11

  EMAIL marie-christine.plancon@inria.fr

  SPONSOR GIP RENATER

  CHANGED 2013-10-24

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

TECH

  HANDLE ESI34-FRNIC

  TYPE PERSON

  CONTACT Equipe Securite Inria

ADDRESS
INRIA Siege
Domaine de Voluceau - Rocquencourt
B.P. 105
78153 le Chesnay

  COUNTRY FR

  PHONE +33 1 39 63 55 11

  EMAIL dsi.securite@inria.fr

  SPONSOR GIP RENATER

  CHANGED 2012-01-06

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

OWNER

  HANDLE INDR18-FRNIC

  TYPE ORGANIZATION

  CONTACT Institut National de Recherche en Informatique et en Automatique

ADDRESS
Domaine de Voluceau
78150 Rocquencourt

  COUNTRY FR

  PHONE +33 1 39 63 55 11

  FAX +33 1 39 63 53 30

  EMAIL webmaster@inria.fr

  SPONSOR GIP RENATER

  CHANGED 2014-06-27

  ANONYMOUS NO

  OBSOLETED NO

  ELIGSTATUS ok

  ELIGSOURCE REGISTRY

  ELIGDATE 19/06/2014 13:26:29

  SOURCE FRNIC

DOMAIN

  STATUS ACTIVE

  HOLD NO

  SPONSOR GIP RENATER

  EXPIRY DATE 31/12/2017

  CREATED 1995-01-01

  CHANGED 2017-08-01

  SOURCE FRNIC

  HANDLE NSL47418-FRNIC

NSERVER

  DNS.INRIA.FR 193.51.208.13

  DNS-EXT2.INRIA.FR 193.51.193.133

  DNS.CS.WISC.EDU 128.105.2.10

  NS2.NIC.FR 192.93.0.4

  NAME inria.fr

Go to top

Created Date:	1995-01-01
Changed Date:	2017-08-01
Expires Date:	2017-12-31

coq.inria.fr rapport : Visitez le site