Анализ страницы https://leanprover-community.github.io/papers.html
Основное Готовность: 100%
Домен
leanprover-community.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 04.10.2026 22:45:22.
Включён HSTS (Strict-Transport-Security) — защита от подмены на http.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,34сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,34сек оптимальна.
Объем документа
53Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 53Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 5
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 5 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://leanprover-community.github.io//css/lean.css | |
| stylesheet | https://fonts.googleapis.com/css2?family=Merriweather&family=Open+Sans&family=Source+Code+Pro:wght@400;600&display=swap | |
| js | text/javascript | https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml.js |
| js | https://code.jquery.com/jquery-3.5.1.min.js | |
| js | https://leanprover-community.github.io//js/bootstrap.min.js |
Серверные заголовки
Кол-во: 18
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 18шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| Strict-Transport-Security | max-age=31556952 |
| ETag | "6a87d221-d755" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 8E2C:779F0:6AD62F:6B925D:6A88CF34 |
| x-github-edge-region | fra |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Fri, 21 Aug 2026 22:20:36 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-fra-eddf8230134-FRA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787350836.416210,VS0,VE114 |
| Vary | Accept-Encoding |
| x-fastly-request-id | 8862cdbe70563fd2bda8b3ab7794aa551acbb57b |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 32%
Title
Lean papers
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 11, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Установите мета-тег description!
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Рекомендуем прописать канонический Url.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1, shrink-to-fit=no
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Не найдено
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph не задана. Страница не оптимизирована под социальные сети. Мета-теги с разметкой Og помогают социальным роботам лучше структурировать Ваш сайт.
Все мета-теги
Кол-во: 1
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 1шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1, shrink-to-fit=no |
Оптимизация Готовность: 55%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в единственном экземпляре).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 1 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Среднее число слов в абзаце 11 достаточно.
Кол-во знаков контента 18047 на странице оптимально.
Кол-во слов 2547 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 3. Это хорошо.
Тошнота
7,68
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
4,87%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота не дотягивает до нормы 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| conference | 59 | 2,32% |
| international | 58 | 2,28% |
| theorem | 52 | 2,04% |
| proving | 39 | 1,53% |
| interactive | 36 | 1,41% |
| proceedings | 24 | 0,94% |
| proofs | 16 | 0,63% |
| programs | 16 | 0,63% |
| sigplan | 15 | 0,59% |
| certified | 15 | 0,59% |
| website | 14 | 0,55% |
| mathematics | 14 | 0,55% |
| formalizing | 14 | 0,55% |
| formalization | 13 | 0,51% |
| january | 11 | 0,43% |
| leonardo | 10 | 0,39% |
| theory | 10 | 0,39% |
| automated | 9 | 0,35% |
| formal | 9 | 0,35% |
| formalized | 9 | 0,35% |
Индексация Готовность: 30%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 159 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 43 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Robots.txt доступен по постоянному адресу
Показать содержимое robots.txt
User-agent: *
Disallow: /mathlib_docs_demo/
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 44
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 44 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| /index.html |
Lean Community
|
|
| / |
website
|
|
| /witt-vectors/ |
website
|
|
| /lean-perfectoid-spaces/ |
website
|
|
| /lean.bib |
lean.bib
|
|
| /index.html |
Lean Community
|
|
| /blog |
Blog
|
|
| /meet.html |
Community information
|
|
| /community_guidelines.html |
Community guidelines
|
|
| /teams.html |
Teams
|
|
| /papers.html |
Papers about Lean
|
|
| /cite.html |
Citing mathlib
|
|
| /lean_projects.html |
Projects using Lean
|
|
| /teaching/index.html |
Teaching using Lean
|
|
| /events.html |
Events
|
|
| /get_started.html |
More options
|
|
| /learn.html |
Learning resources (start here)
|
|
| /documentation.html |
Documentation overview
|
|
| /mathlib4_docs |
API documentation
|
|
| /mathlib4_docs/tactics.html |
Tactic list
|
|
| /glossary.html |
Glossary
|
|
| /did_you_prove_it.html |
Did you really prove it?
|
|
| /mwe.html |
About MWEs
|
|
| /mathlib-overview.html |
Library overview
|
|
| /undergrad.html |
Undergraduate maths
|
|
| /100.html |
Wiedijk's 100 theorems
|
|
| /1000.html |
1000+ theorems
|
|
| /theories/naturals.html |
Natural Numbers
|
|
| /theories/linear_algebra.html |
Linear Algebra
|
|
| /theories/sets.html |
Sets and finite sets
|
|
| /theories/topology.html |
Topology
|
|
| /theories/category_theory.html |
Category Theory
|
|
| /contribute/index.html |
What to contribute
|
|
| /contribute/how-to-contribute.html |
How to contribute
|
|
| /contribute/values.html |
Mathlib's Values
|
|
| /queueboard/ |
Mathlib review and triage dashboard
|
|
| /contribute/git.html |
Git Guide for Mathlib4 Contributors
|
|
| /contribute/naming.html |
Naming conventions
|
|
| /contribute/style.html |
Code style guideline
|
|
| /contribute/doc.html |
Documentation style
|
|
| /contribute/commit.html |
Commit conventions
|
|
| /contribute/pr-review.html |
Pull request review guide
|
|
| /mathlib_stats.html |
Contribution statistics
|
|
| /contribute/tags_and_branches.html |
Tags and branches
|
|
Внешние ссылки
Кол-во: 114
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 114 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать первые 100 внешних ссылок
| Url | Анкор |
|---|---|
| drops.dagstuhl.de |
An Extensible User Interface for Lean 4
|
| doi.org |
'do' unchained: embracing local imperativity in a purely functional language (functional pearl)
|
| link.springer.com |
The Lean 4 Theorem Prover and Programming Language
|
| doi.org |
Sealing Pointer-Based Optimizations behind Pure Functions
|
| arxiv.org |
Tabled Typeclass Resolution
|
| doi.org |
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
|
| github.com |
The Type Theory of Lean
|
| pp.ipd.kit.edu |
Formally Verified Insertion of Reference Counting Instructions
|
| github.com |
website
|
| arxiv.org |
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
|
| doi.org |
A metaprogramming framework for formal verification
|
| doi.org |
Congruence Closure in Intensional Type Theory
|
| arxiv.org |
Elaboration in Dependent Type Theory
|
| doi.org |
The Lean Theorem Prover (System Description)
|
| link.springer.com |
Growing Mathlib: maintenance of a large scale mathematical library
|
| drops.dagstuhl.de |
Automatically Generalizing Proofs and Statements
|
| drops.dagstuhl.de |
Canonical for Automated Theorem Proving in Lean
|
| doi.org |
Aesop: White-Box Best-First Proof Search for Lean
|
| drops.dagstuhl.de |
Use and Abuse of Instance Parameters in the Lean Mathematical Library
|
| robertylewis.com |
A bi-directional extensible interface between Lean and Mathematica
|
| robertylewis.com |
website
|
| easychair.org |
Automatically Generalizing Theorems Using Typeclasses
|
| doi.org |
A Novice-Friendly Induction Tactic for Lean
|
| arxiv.org |
Scalar actions in Lean's mathlib
|
| doi.org |
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)
|
| arxiv.org |
Simplifying Casts and Coercions
|
| doi.org |
The Lean mathematical library
|
| arxiv.org |
Maintaining a Library of Formal Mathematics
|
| lean-forward.github.io |
Arithmetic and Casting in Lean
|
| doi.org |
An Extensible Ad Hoc Interface between Lean and Mathematica
|
| robertylewis.com |
website
|
| afm.episciences.org |
A complete formalization of Fermat's Last Theorem for regular primes in Lean
|
| drops.dagstuhl.de |
Formalizing Colimits in 𝒞at
|
| drops.dagstuhl.de |
A Formalization of Divided Powers in Lean
|
| afm.episciences.org |
Formalizing zeta and L-functions in Lean
|
| afm.episciences.org |
Formalising the local compactness of the adele ring
|
| afm.episciences.org |
Formalization of derived categories in Lean/mathlib
|
| drops.dagstuhl.de |
Verifying Datalog Reasoning with Lean
|
| drops.dagstuhl.de |
LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean
|
| drops.dagstuhl.de |
Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups
|
| drops.dagstuhl.de |
Finiteness of Symbolic Derivatives in Lean
|
| cambridge.org |
Categorical foundations of formalized condensed mathematics
|
| drops.dagstuhl.de |
Towards Solid Abelian Groups: A Formal Proof of Nöbeling’s Theorem
|
| drops.dagstuhl.de |
The Directed Van Kampen Theorem in Lean
|
| drops.dagstuhl.de |
Verifying Peephole Rewriting in SSA Compiler IRs
|
| drops.dagstuhl.de |
Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory
|
| doi.org |
A Formalization of Complete Discrete Valuation Rings and Local Fields
|
| drops.dagstuhl.de |
Graphical Rewriting for Diagrammatic Reasoning in Monoidal Categories in Lean4
|
| drops.dagstuhl.de |
Teaching Mathematics Using Lean and Controlled Natural Language
|
| drops.dagstuhl.de |
Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge
|
| drops.dagstuhl.de |
Formal Verification of the Empty Hexagon Number
|
| drops.dagstuhl.de |
Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality
|
| drops.dagstuhl.de |
A Proof-Producing Compiler for Blockchain Applications
|
| drops.dagstuhl.de |
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic
|
| doi.org |
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
|
| drops.dagstuhl.de |
Fermat’s Last Theorem for Regular Primes
|
| doi.org |
A Formalized Reduction of Keller's Conjecture
|
| drops.dagstuhl.de |
Formalizing Norm Extensions and Applications to Number Theory
|
| doi.org |
Formalising the h-Principle and Sphere Eversion
|
| drops.dagstuhl.de |
Closure Properties of General Grammars – Formally Verified
|
| drops.dagstuhl.de |
Group Cohomology in the Lean Community Library
|
| doi.org |
Formalising Sharkovsky's Theorem (Proof Pearl)
|
| drops.dagstuhl.de |
A Formalisation of Gallagher’s Ergodic Theorem
|
| doi.org |
A Pretty Expressive Printer
|
| doi.org |
Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies
|
| doi.org |
A Formalization of Doob's Martingale Convergence Theorems in mathlib
|
| drops.dagstuhl.de |
Formalising the Proj Construction in Lean
|
| doi.org |
A formalization of Dedekind domains and class groups of global fields
|
| doi.org |
Formalizing Galois Theory
|
| doi.org |
Schemes in Lean
|
| drops.dagstuhl.de |
Formalizing the Ring of Adèles of a Global Field
|
| drops.dagstuhl.de |
Formalising Szemerédi’s Regularity Lemma in Lean
|
| drops.dagstuhl.de |
Formalized functional analysis with semilinear maps
|
| doi.org |
A Formalization of the Change of Variables Formula for Integrals in mathlib
|
| arxiv.org |
A parametrized family of Tversky metrics connecting the Jaccard distance to an analogue of the normalized information distance
|
| drops.dagstuhl.de |
Formalizing the Divergence Theorem and the Cauchy Integral Formula in Lean
|
| doi.org |
Formalising the Kruskal-Katona Theorem in Lean
|
| doi.org |
A Formal Foundation for Symbolic Evaluation with Merging
|
| doi.org |
Formalizing Geometric Algebra in Lean
|
| github.com |
website
|
| doi.org |
Graded Rings in Lean's Dependent Type Theory
|
| drops.dagstuhl.de |
A Formalization of Dedekind Domains an Class Groups of Global Fields
|
| arxiv.org |
Elements of Differential Geometry in Lean: A Report for Mathematicians
|
| doi.org |
Formalizing the Ring of Witt Vectors
|
| drops.dagstuhl.de |
Formalized Haar Measure
|
| arxiv.org |
Formalizing the Gromov-Hausdorff space
|
| arxiv.org |
Formalizing Hall's Marriage Theorem in Lean
|
| easychair.org |
Formalizing Rotation Number and Its Properties in Lean
|
| doi.org |
A Formal Proof of PAC Learnability for Decision Stumps
|
| doi.org |
Formalising perfectoid spaces
|
| doi.org |
A formal proof of the independence of the continuum hypothesis
|
| flypitch.github.io |
website
|
| doi.org |
Formalizing Computability Theory via Partial Recursive Functions
|
| github.com |
website
|
| doi.org |
Formalizing the Solution to the Cap Set Problem
|
| github.com |
website
|
| imperial.ac.uk |
Schemes in Lean
|
| github.com |
website
|
| doi.org |
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis
|
| doi.org |
A formal proof of Hensel's lemma over the p-adic integers
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://leanprover-community.github.io/papers.html готова к продвижению на 54%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: