Возраст домена | n/a |
Дата окончания | n/a |
PR | 6 |
ИКС | |
Страниц в Google | 8940 |
Страниц в Яндексе | 845 |
Dmoz | ![]() |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 18907 |
Alexa Country | ![]() |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
Welcome! | The Coq Proof Assistant
n/a
n/a
UTF-8
7.73 КБ
309
2 365 симв.
1 987 симв.
Данные предоставлены сервисом semrush
Данные linkpad ( 23 Апреля 2016 ) | |
Количество ссылок на сайт | 1437 |
Количество доменов, которые ссылаются на сайт | 258 |
Количество найденных анкоров | 197 |
Исходящие (внешние) ссылки домена | 208 |
Количество доменов, на которые ссылается сайт | 98 |
Количество исходящих анкоров | 143 |
Внешние ссылки главной страницы ( 12 ) | |
github.com/coq/coq | <img> |
compcert.inria.fr | CompCert |
vst.cs.princeton.edu/ | Verified Software Toolchain |
iris-project.org | Iris |
hal.inria.fr/hal-00816699 | Feit-Thompson theorem |
homotopytypetheory.org/coq/ | homotopy type theory |
github.com/coq/coq/releases/tag/V8.11.0 | Get Coq 8.11.0 |
jscoq.github.io | Try jsCoq |
github.com/coq/coq/blob/master/CONTRIBUTING.md | Contributing guide |
coq.discourse.group | Discourse forum |
validator.w3.org/ | xhtml valid |
jigsaw.w3.org/css-validator/ | CSS valid |
Внутренние ссылки главной страницы ( 21 ) | |
/ | The Coq Proof Assistant |
/about-coq | More about Coq |
/download | How to get it? |
/documentation | All Documents |
/community | Community |
/consortium | Coq Consortium |
/news | more |
/cocorico/List%20of%20Coq%20PL%20Projects | certification of properties of programming languages |
/cocorico/List%20of%20Coq%20Math%20Projects | formalization of mathematics |
/cocorico/CoqInTheClassroom | teaching |
user-interfaces.html | User interfaces |
/bugs/ | Bug tracker |
/distrib/current/refman/ | Reference Manual |
/distrib/current/stdlib/ | Standard Library |
/community.html | Community |
/packages.html | Coq Package Index |
/related-tools.html | Related Tools |
/news/coq-8-11-0-is-out.html | Coq 8.11.0 is out |
/news/coq-8-11beta1-is-out.html | Coq 8.11+beta1 is out |
/news/coq-8-10-2-is-out.html | Coq 8.10.2 is out |
/rss.xml | Syndicate |
#
# robots.txt
#
# This file is to prevent the crawling and indexing of certain parts
# of your site by web crawlers and spiders run by sites like Yahoo!
# and Google. By telling these "robots" where not to go on your site,
# you save bandwidth and server resources.
#
# This file will be ignored unless it is at the root of your host:
# Used: http://example.com/robots.txt
# Ignored: http://example.com/site/robots.txt
#
# For more information about the robots.txt standard, see:
# http://www.robotstxt.org/wc/robots.html
#
# For syntax checking, see:
# http://www.sxw.org.uk/computing/robots/check.html
User-agent: *
Crawl-delay: 10
### FOR DISTRIB: we allow only the current release
Allow: /distrib/current/
Disallow: /distrib
Disallow: /V8.1/
Disallow: /V8.1beta/
Disallow: /V8.1gamma/
Disallow: /V8.1pl1/
Disallow: /V8.1pl2/
Disallow: /V8.1pl3/
Disallow: /V8.1pl4/
Disallow: /V8.1pl5/
Disallow: /V8.1pl6/
Disallow: /V8.2/
Disallow: /V8.2alpha/
Disallow: /V8.2beta/
Disallow: /V8.2beta1/
Disallow: /V8.2beta2/
Disallow: /V8.2beta3/
Disallow: /V8.2beta4/
Disallow: /V8.2pl1/
Disallow: /V8.2pl2/
Disallow: /V8.2pl3/
Disallow: /V8.2rc1/
Disallow: /V8.3/
Disallow: /V8.3-beta0/
Disallow: /V8.3pl1/
Disallow: /V8.3pl2/
Disallow: /V8.3pl3/
Disallow: /V8.3pl4/
Disallow: /V8.3pl5/
Disallow: /V8.3-rc1/
### FOR BUGZILLA
Allow: /bugs/index.cgi
Disallow: /bugs/
### FOR MOINMOIN
Allow: /cocorico/Home
#Disallow: /cocorico/
### FOR DRUPAL
Disallow: /drupal/
# Directories
Disallow: /includes/
Disallow: /misc/
Disallow: /modules/
Disallow: /profiles/
Disallow: /scripts/
Disallow: /themes/
# Files
Disallow: /CHANGELOG.txt
Disallow: /cron.php
Disallow: /INSTALL.mysql.txt
Disallow: /INSTALL.pgsql.txt
Disallow: /install.php
Disallow: /INSTALL.txt
Disallow: /LICENSE.txt
Disallow: /MAINTAINERS.txt
Disallow: /update.php
Disallow: /UPGRADE.txt
Disallow: /xmlrpc.php
# Paths (clean URLs)
Disallow: /admin/
Disallow: /comment/reply/
Disallow: /filter/tips/
Disallow: /logout/
Disallow: /node/add/
Disallow: /search/
Disallow: /user/register/
Disallow: /user/password/
Disallow: /user/login/
# Paths (no clean URLs)
Disallow: /?q=admin/
Disallow: /?q=comment/reply/
Disallow: /?q=filter/tips/
Disallow: /?q=logout/
Disallow: /?q=node/add/
Disallow: /?q=search/
Disallow: /?q=user/password/
Disallow: /?q=user/register/
Disallow: /?q=user/login/
Франция - Жиф-сюр-Иветт - 193.55.176.29
Commissariat a l'Energie Atomique
Renater
HTTP/1.1 200 OK
Date: Sun, 02 Feb 2020 12:43:19 GMT
Server: Apache/2.4.25 (Debian)
Last-Modified: Thu, 30 Jan 2020 07:10:04 GMT
ETag: "1eec-59d56256dc5e5"
Accept-Ranges: bytes
Content-Length: 7916
Vary: Accept-Encoding
Content-Type: text/html
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"