Анализ страницы https://europroofnet.github.io/publications/
Основное Готовность: 100%
Домен
europroofnet.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 09.01.2027 2:59:59.
Включён HSTS (Strict-Transport-Security) — защита от подмены на http.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,28сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,28сек оптимальна.
Объем документа
75Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 75Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 6
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 6 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | /assets/css/main.css | |
| stylesheet | https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@latest/css/all.min.css | |
| js | /assets/js/main.min.js | |
| js | /assets/js/lunr/lunr.min.js | |
| js | /assets/js/lunr/lunr-store.js | |
| js | /assets/js/lunr/lunr-en.js |
Серверные заголовки
Кол-во: 18
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 18шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| Strict-Transport-Security | max-age=31556952 |
| ETag | "6a854928-12e9c" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | F36A:2840:38319D:3CA0BD:6A8A5FC3 |
| x-github-edge-region | swedencentral |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sun, 23 Aug 2026 02:49:40 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-bma-essb1270024-BMA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787453380.006330,VS0,VE132 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 51da12c6d39c0a7bf29d27879e1503443b9da2b9 |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 48%
Title
Publications - EuroProofNet
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение: 27, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо увеличить число символов в description (текущее значение мало: 75, минимум: 80, оптимально: от 120 до 130)
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
https://europroofnet.github.io/publications/
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Канонический Url прописан корректно.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1.0
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Кол-во: 6
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:type | website |
| og:locale | en_US |
| og:site_name | EuroProofNet |
| og:title | Publications |
| og:url | https://europroofnet.github.io/publications/ |
| og:description | Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs |
Все мета-теги
Кол-во: 8
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 8шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | description | Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs |
| name | viewport | width=device-width, initial-scale=1.0 |
| property | og:type | website |
| property | og:locale | en_US |
| property | og:site_name | EuroProofNet |
| property | og:title | Publications |
| property | og:url | https://europroofnet.github.io/publications/ |
| property | og:description | Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs |
Оптимизация Готовность: 57%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 8 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Среднее число слов в абзаце 12 достаточно.
Кол-во знаков контента 36934 на странице оптимально.
Кол-во слов 4998 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h3> 1.
Тошнота
5,57
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
11,26%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота страницы в пределах нормы.
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| theory | 31 | 0,62% |
| proofs | 21 | 0,42% |
| reasoning | 16 | 0,32% |
| verification | 16 | 0,32% |
| alexander | 16 | 0,32% |
| automated | 15 | 0,30% |
| petrakis | 14 | 0,28% |
| theorem | 14 | 0,28% |
| nordström | 13 | 0,26% |
| philipp | 12 | 0,24% |
| stephan | 12 | 0,24% |
| formal | 11 | 0,22% |
| rümmer | 11 | 0,22% |
| isabelle/hol | 11 | 0,22% |
| andrei | 11 | 0,22% |
| bonacina | 11 | 0,22% |
| modulo | 10 | 0,20% |
| theories | 10 | 0,20% |
| mathias | 10 | 0,20% |
| sutcliffe | 10 | 0,20% |
Индексация Готовность: 35%
Индексирование
Есть ошибки
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 475 слишком много. Проведите ревизию и оптимизацию ссылок сайта.
Robots.txt
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 52 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Robots.txt доступен по постоянному адресу
Показать содержимое robots.txt
Sitemap: https://europroofnet.github.io/sitemap.xml
Sitemap
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит карту сайта. Это прекрасно!
Robots.txt не содержит ошибок в карте сайта.
Показать карту сайта
| Url | Статус |
|---|---|
| https://europroofnet.github.io/sitemap.xml |
|
Внутренние ссылки
Кол-во: 29
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
На странице присутствуют внутренние ссылки с пустым анкором: 1!
Внутренних ссылок на странице 29 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
На странице присутствуют изображения 1.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| / |
EuroProofNet
|
|
| /tools/ |
Tools
|
|
| /schools/ |
Schools
|
|
| /conferences/ |
Confs
|
|
| /jobs/ |
Jobs
|
|
| /teaching/ |
Teaching
|
|
| /gender-balance/ |
Gender balance
|
|
| /contact/ |
Contact
|
|
| /wg/ |
Working Groups
|
|
| /groups/ |
Research Groups
|
|
| /projects/ |
Related projects
|
|
| /publications/ |
Papers
|
|
| /grants/ |
Grants
|
|
| /events/ |
Events
|
|
| /news/ |
News
|
|
| / |
Пустой анкор
|
|
| /publications/ |
Publications
|
|
| /../contact |
science communication coordinators
|
|
| /../accepted_stsms |
STSM reports
|
|
| / |
Arithmetizing Shape Analysis
|
|
| /10.1007/978-3-031-16681-5_24 |
CICM’22 System Entries
|
|
| /wg3-dresden24-program/ |
slides&videos
|
|
| /_pages/WG3/Dresden24/Report_WG3meetingDresden.pdf |
report
|
|
| /wg3-meeting-timisoara-program |
slides&videos
|
|
| /_pages/WG3/Feb2023/ReportWG3TimisoaraMeeting.pdf |
report
|
|
| /wg3-meeting1-program |
slides&videos
|
|
| /_pages/WG3/Feb2022/ReportWG3meeting.pdf |
report
|
|
| /feed.xml |
<i class="fas fa-fw fa-square-rss" aria-hidden="true"></i> Feed
|
|
|
EuroProofNet
|
|
Внешние ссылки
Кол-во: 442
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 442 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
На странице ссылки с атрибутом rel='nofollow' 8.
Показать первые 100 внешних ссылок
| Url | Анкор |
|---|---|
| cost.eu |
COST action CA20111
|
| cost.eu |
COST
|
| epn.zulipchat.com |
<i class="fas fa-link" aria-hidden="true"></i><span class="label">Zulip</span>
|
| facebook.com |
<i class="fab fa-facebook" aria-hidden="true"></i><span class="label">Facebook</span>
|
| twitter.com |
<i class="fab fa-twitter" aria-hidden="true"></i><span class="label">Twitter</span>
|
| github.com |
<i class="fab fa-fw fa-github" aria-hidden="true"></i><span class="label">GitHub</span>
|
| cost.eu |
<i class="fas fa-link" aria-hidden="true"></i><span class="label">CA20111</span>
|
| cost.eu |
<i class="fas fa-link" aria-hidden="true"></i><span class="label">COST</span>
|
| ec.europa.eu |
<i class="fas fa-link" aria-hidden="true"></i><span class="label">H2020</span>
|
| github.com |
issue
|
| github.com |
pull request
|
| doi.org |
2-Functoriality of Initial Semantics, and Applications
|
| doi.org |
A New Approach for Showing Termination of Parameterized Transition Systems
|
| doi.org |
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces
|
| doi.org |
A quantitative approach to global state composition
|
| cambridge.org |
<em>MSCS</em>
|
| github.com |
ADG Lib Initiative
|
| doi.org |
An iterative constructive Hilbert basis theorem
|
| sciencedirect.com |
*J. Algebra
|
| doi.org |
Animating MRBNFs: Truly Modular Binding-Aware Datatypes in Isabelle/HOL
|
| doi.org |
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
|
| doi.org |
BiSikkel: A Multimode Logical Framework in Agda.
|
| doi.org |
Boolean Rigs
|
| link.springer.com |
<em>Algebra Universalis</em>
|
| doi.org |
Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
|
| doi.org |
Checking Linear Integer Arithmetic Proofs in LambdaPi
|
| doi.org |
Comodule Representations of Second-Order Functionals
|
| doi.org |
Complementable Normal Form of Parametrized Automata
|
| doi.org |
Conservation as translation
|
| cambridge.org |
<em>Rev. Symb. Log.</em>
|
| doi.org |
Continuous and algebraic domains in univalent foundations
|
| sciencedirect.com |
<em>Journal of Pure and Applied Algebra</em>
|
| doi.org |
Coverage Semantics for Dependent Pattern Matching
|
| doi.org |
Epimorphisms and Acyclic Types in Univalent Foundations
|
| cambridge.org |
<em>Journal of Symbolic Logic</em>
|
| doi.org |
Equational Reasoning Modulo Commutativity in Languages with Binders
|
| doi.org |
Formalising Inductive and Coinductive Containers
|
| icetcs.github.io |
ITP’25
|
| doi.org |
Formalizing Equivalences Without Tears
|
| drops.dagstuhl.de |
TYPES’24 post-proceedings
|
| doi.org |
Frex: dependently-typed algebraic simplification
|
| doi.org |
Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories
|
| doi.org |
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
|
| icetcs.github.io |
ITP’25
|
| doi.org |
lean-smt: An SMT Tactic for Discharging Proof Goals in Lean.
|
| conferences.i-cav.org |
CAV 2025
|
| doi.org |
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
|
| doi.org |
Modular Sequent Calculi for interpretability Logics
|
| cambridge.org |
<em>Rev. Symb. Log.</em>
|
| lirias.kuleuven.be |
Multimode Type Theory as a Library in Type Theory
|
| doi.org |
Nominal Matching Logic with Fixpoints
|
| doi.org |
On the Limitations of ROBDDs in Deciding the Evasiveness of Boolean Functions
|
| dmlett.com |
<em>Discret. math. lett.</em>
|
| doi.org |
Ordinal Exponentiation in Homotopy Type Theory
|
| lics.siglog.org |
LICS’25
|
| doi.org |
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
|
| doi.org |
Projective Delineability for Single Cell Construction
|
| doi.org |
Proof Search in Classical Propositional Logic with Partial Proof Terms
|
| doi.org |
Proof Verification with GDV and LambdaPi - It’s a Matter of Trust
|
| doi.org |
Proving Correctness of the Query Containment Solver SpeCS using SPARQL Set Semantics
|
| doi.org |
Pseudo-Boolean Proof Logging for Optimal Classical Planning
|
| link.springer.com |
Safely Encoding B Proof Obligations in SMT-LIB
|
| abz-conf.org |
ABZ 2025
|
| doi.org |
Scalable Knowledge Refactoring using Constrained Optimisation
|
| usenix.org |
Separate but Together: Integrating Remote Attestation into TLS
|
| doi.org |
Shared Terms and Cached Rewriting
|
| doi.org |
Solving Quantified Modal Logic Problems by Translation to Classical Logics
|
| doi.org |
Strong negation in the theory of computable functionals TCF
|
| lmcs.episciences.org |
<em>LMCS</em>
|
| doi.org |
Text Homology
|
| tandfonline.com |
<em>J. Quant. Linguistics</em>
|
| doi.org |
The CDSAT method for satisfiability modulo theories and assignments: an exposition
|
| illc.uva.nl |
CiE’25
|
| doi.org |
The Cost of Skeletal Call-by-Need, Smoothly
|
| fscd2025.github.io |
FSCD’25
|
| doi.org |
The Grothendieck Computability Model
|
| sciencedirect.com |
<em>TCS</em>
|
| doi.org |
The QSMA algorithm for quantifiers in SMT.
|
| springer.com |
<em>JAR</em>
|
| doi.org |
Type Theory in Type Theory using a Strictified Syntax
|
| doi.org |
What’s Decidable About Arrays With Sums?
|
| doi.org |
A Constraint Solving Approach to Parikh Images of Regular Languages
|
| doi.org |
A Formalization of the General Theory of Quaternions
|
| doi.org |
A General Constructive Form of Higman’s Lemma
|
| doi.org |
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
|
| springer.com |
<em>JAR</em>
|
| doi.org |
A Modular Formalization of Superposition in Isabelle/HOL
|
| doi.org |
A Proof-Theoretic Approach to Formal Epistemology
|
| doi.org |
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
|
| doi.org |
A Sound and Complete Substitution Algorithm for Multimode Type Theory
|
| doi.org |
A Tree Rewriting System for the Reflection Calculus
|
| doi.org |
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking
|
| doi.org |
Analysing Collective Adaptive Systems by Proving Theorems
|
| doi.org |
Automatic Verification of SMT Rewrites in Isabelle/HOL
|
| doi.org |
Automating Boundary Filling in Cubical Agda
|
| doi.org |
Certified First-Order AC-Unification and Applications
|
| springer.com |
<em>JAR</em>
|
| doi.org |
Certified MaxSAT Preprocessing
|
| doi.org |
Certifying Incremental SAT Solving
|
| doi.org |
Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://europroofnet.github.io/publications/ готова к продвижению на 60%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: