Анализ страницы https://www.cslib.io/.
Основное Готовность: 75%
Домен
cslib.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Домен второго уровня идеален для продвижения.
Отличный запоминающийся домен.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 24.10.2026 13:16:50.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
UTF-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице UTF-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,46сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,46сек оптимальна.
Объем документа
53Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 53Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 18
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 18 много для одной страницы. Приемлемо до 10. Проведите оптимизацию файлов ресурсов!
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://fonts.googleapis.com/css2?family=Fira+Code:wght@300..700&family=Open+Sans:ital,wght@0,300..800;1,300..800&family=Oranienbaum&display=swap | |
| stylesheet | /static/css/reset.css | |
| stylesheet | /static/css/article.css | |
| stylesheet | /static/css/blog.css | |
| stylesheet | /static/css/style.css | |
| stylesheet | /static/css/navbar.css | |
| stylesheet | /static/css/footer.css | |
| stylesheet | -verso-data/hero.css | |
| stylesheet | -verso-data/title.css | |
| stylesheet | -verso-data/sponsors.css | |
| stylesheet | -verso-data/zulipCard.css | |
| stylesheet | https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.css | |
| js | /static/js/dark.js | |
| js | https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.js | |
| js | https://cdn.jsdelivr.net/npm/marked@11.1.1/marked.min.js | |
| js | /static/js/theme.js | |
| js | /static/js/copy.js | |
| js | https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a8846a1-d64b" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 2D30:7BAF2:472010:47A2E4:6A887BCB |
| x-github-edge-region | fra |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Fri, 21 Aug 2026 16:24:45 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-fra-eddf8230172-FRA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787329486.810855,VS0,VE112 |
| Vary | Accept-Encoding |
| x-fastly-request-id | dd01623c2fb4f182ae2ed2eaab4d8b3eea41ccfa |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 48%
Title
A Focused Effort on Formalizing Computer Science in Lean
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо уменьшить число символов в title (текущее значение: 56, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
A Focused Effort on Formalizing Computer Science in Lean
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Необходимо увеличить число символов в description (текущее значение мало: 56, минимум: 80, оптимально: от 120 до 130)
Мета-тег description совпадает с title! Внесите правку в title или мета-тег 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
Настройка масштабирования на мобильных устройствах
?
Тег 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:title | CSLib |
| og:type | article |
| og:image | https://cs-lean.github.io/static/png/banner.png |
| og:url | https://cs-lean.github.io |
| og:image:alt | CSLib |
| og:site_name | CSLib |
Все мета-теги
Кол-во: 15
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 15шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | viewport | width=device-width, initial-scale=1 |
| name | description | A Focused Effort on Formalizing Computer Science in Lean |
| name | theme-color | #8B4513 |
| name | twitter:title | CSLib |
| name | twitter:description | A Focused Effort on Formalizing Computer Science in Lean |
| name | twitter:image | https://cs-lean.github.io/static/png/banner.png |
| name | twitter:image:alt | CSLib |
| name | twitter:creator | @cslib |
| name | twitter:card | summary_large_image |
| property | og:title | CSLib |
| property | og:type | article |
| property | og:image | https://cs-lean.github.io/static/png/banner.png |
| property | og:url | https://cs-lean.github.io |
| property | og:image:alt | CSLib |
| property | og:site_name | CSLib |
Оптимизация Готовность: 72%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в одном экземпляре).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Абзацев с текстом 1 слишком мало. Добавьте больше абзацев с текстом (тег <p>)!
Кол-во слов 150 слишком мало. Добавьте больше текста (минимум 400 слов)!
Слова из title 6 встречаются в тексте достаточно.
Среднее число слов в абзаце 43 достаточно.
Кол-во знаков контента 1082 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h3> 4.
Тошнота
1,73
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота страницы в пределах нормы 3.
Академич. тошнота
26,67%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| resources | 3 | 2,00% |
| mathlib | 3 | 2,00% |
| reservoir | 3 | 2,00% |
| language | 3 | 2,00% |
| involved | 2 | 1,33% |
| roadmap | 2 | 1,33% |
| governance | 2 | 1,33% |
| strategic | 2 | 1,33% |
| organizations | 2 | 1,33% |
| reusable | 2 | 1,33% |
| computer | 2 | 1,33% |
| science | 2 | 1,33% |
| verified | 2 | 1,33% |
| models | 2 | 1,33% |
| website | 1 | 0,67% |
| experience | 1 | 0,67% |
| enable | 1 | 0,67% |
| open-source | 1 | 0,67% |
| library | 1 | 0,67% |
| components | 1 | 0,67% |
Индексация Готовность: 0%
Индексирование
Ошибок нет
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 44 оптимально. Поисковые роботы обязательно проиндексируют сайт.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 16
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 16 оптимально.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| /. |
<svg width="100" height="50" viewbox="0 0 2832 1093" xmlns="http://www.w3.org/2000/svg" fill="var(--color-text)"><path d="M683.797 504.546C683.825 564.596 683.852 623.33 683.879 682.065C683.887 700.185 675.841 706.956 656.277 706.848C582.246 706.438 508.214 706.188 434.182 706.209C413.122 706.215 405.944 700.416 405.932 680.927C405.892 610.797 405.897 540.666 405.937 470.535C405.948 451.576 411.586 446.042 431.613 446.009C507.163 445.885 582.714 445.869 658.264 445.93C678.597 445.947 683.775 451.079 683.814 470.356C683.837 481.314 683.804 492.273 683.797 504.546Z" fill="#D35400"></path><path d="M488.25 1028.38C487.35 983.108 490.153 988.104 529.344 987.966C547.167 987.903 564.99 988.066 582.812 987.936C595.091 987.846 601.262 993.827 601.394 1004.77C601.68 1028.42 601.591 1052.08 601.274 1075.74C601.144 1085.48 595.506 1091.64 584.777 1091.77C558.049 1092.09 531.312 1092.09 504.582 1091.86C492.629 1091.75 488.494 1084.46 488.432 1074.37C488.342 1059.48 488.308 1044.58 488.25 1028.38Z"></path><path d="M488.682 107.139C488.766 95.7447 488.457 85.6379 489.049 75.5775C489.592 66.3605 494.894 61.2508 505.405 61.3034C531.702 61.4349 558.002 61.4591 584.298 61.2711C595.634 61.1901 600.917 66.8774 601.059 76.5834C601.405 100.264 601.309 123.953 601.067 147.636C600.961 157.999 595.256 164.154 583.722 164.259C557.901 164.494 532.078 164.676 506.258 164.564C494.84 164.515 489.125 158.483 488.983 147.923C488.807 134.765 488.775 121.606 488.682 107.139Z"></path><path d="M260.274 805.63C244.323 805.635 229.772 805.424 215.232 805.711C203.784 805.937 198.703 800.308 198.77 790.454C198.935 765.924 199.617 741.399 199.951 716.87C200.066 708.4 204.409 703.584 213.374 703.071C241.016 701.492 268.694 701.627 296.343 702.69C306.597 703.084 311.081 709.667 311.158 718.707C311.36 742.373 311.343 766.041 311.328 789.709C311.321 800.365 305.997 805.965 294.056 805.666C283.271 805.396 272.472 805.621 260.274 805.63Z"></path><path d="M907.511 309.767C907.504 296.175 907.787 283.888 907.405 271.619C907.064 260.686 912.683 254.77 923.921 254.594C950.673 254.174 977.441 254.077 1004.19 254.511C1013.97 254.67 1019.37 260.045 1019.29 269.897C1019.09 294.454 1019.2 319.013 1019.31 343.571C1019.36 353.329 1014.49 358.187 1003.95 358.172C977.193 358.132 950.431 358.063 923.672 358.235C912.157 358.309 907.667 352.534 907.576 342.655C907.478 332.131 907.527 321.605 907.511 309.767Z"></path><path d="M111.769 777.981C111.81 803.683 110.204 805.17 83.766 805.166C62.6329 805.162 41.4984 805.29 20.3671 805.102C4.00456 804.957 0.234169 801.47 0.1505 786.639C0.0219422 763.83 0.411659 741.014 0.00586232 718.21C-0.216167 705.733 5.86542 700.878 18.8028 701.052C43.6879 701.385 68.5836 701.337 93.4708 701.09C106.671 700.959 112.12 706.772 111.913 718.809C111.582 738.106 111.789 757.41 111.769 777.981Z"></path><path d="M182.266 330.586C182.181 336.681 182.386 341.519 181.946 346.305C181.303 353.306 177.317 357.917 169.437 357.964C140.846 358.132 112.253 358.133 83.6615 358.005C75.1053 357.967 70.717 353.207 70.6622 345.494C70.4787 319.662 70.5154 293.829 70.586 267.996C70.6102 259.104 76.8641 255.29 85.1541 255.186C112.326 254.845 139.512 254.775 166.68 255.237C177.17 255.415 182.536 261.134 182.356 271.51C182.022 290.771 182.265 310.04 182.266 330.586Z"></path><path d="M308.922 1025.83C304.362 1031.65 298.734 1031.81 293.007 1031.81C267.669 1031.82 242.324 1031.55 216.995 1032.01C204.346 1032.23 198.634 1026.61 198.528 1015.56C198.305 992.33 198.395 969.1 198.514 945.873C198.572 934.563 204.635 929.279 217.01 929.467C242.341 929.852 267.681 929.853 293.017 929.78C302.629 929.752 310.962 932.502 310.976 942.276C311.016 969.787 313.705 997.369 308.922 1025.83Z"></path><path d="M1018.69 806.045C1018.86 830.421 1019.04 853.627 1018.91 876.832C1018.83 891.082 1014.8 894.862 999.874 895.091C974.577 895.477 949.276 895.646 923.977 895.984C912.974 896.131 907.448 891.318 907.471 880.924C907.523 856.405 907.561 831.885 907.44 807.367C907.396 798.322 911.615 793.274 921.547 793.09C947.31 792.613 973.074 792.07 998.841 791.826C1008.5 791.734 1016.49 794.596 1018.69 806.045Z"></path><path d="M555.934 815.109C555.489 864.102 555.02 911.782 554.632 959.462C554.576 966.277 555.11 973.008 544.447 972.977C533.996 972.946 533.88 966.261 533.87 959.431C533.765 885.004 533.695 810.578 533.612 736.151C533.604 728.818 533.565 722.044 544.915 721.996C556.648 721.946 555.875 729.281 555.902 736.304C555.998 762.134 555.937 787.965 555.934 815.109Z"></path><path d="M533.683 280.824C533.959 250.194 532.903 220.866 535.128 191.573C535.595 185.427 535.979 180.261 544.792 180.224C553.663 180.187 554.344 185.354 554.361 191.526C554.465 229.154 554.708 266.782 554.723 304.41C554.737 342.019 556.91 379.634 554.486 417.238C554.091 423.354 557.015 431.08 545.426 431.325C534.335 431.56 533.7 424.879 533.699 417.383C533.692 372.302 533.688 327.221 533.683 280.824Z"></path><path d="M861.847 379.555C809.048 416.712 757.051 453.298 704.125 490.537C696.203 476.836 700.731 468.512 711.397 461.088C752.812 432.259 794.053 403.212 835.333 374.215C850.342 363.672 865.262 353.019 880.268 342.472C883.158 340.441 885.649 337.329 890.913 338.736C894.332 348.879 893.619 357.77 882.764 364.586C875.768 368.98 869.334 374.157 861.847 379.555Z"></path><path d="M221.456 351.188C272.861 387.391 323.177 423.381 374.215 458.453C386.105 466.624 390.765 475.387 387.067 488.436C382.544 490.494 380.171 486.948 377.411 485.009C320.394 444.95 263.616 404.591 206.292 364.921C195.67 357.57 195.772 349.683 199.1 339.323C208.677 339.531 213.668 346.801 221.456 351.188Z"></path><path d="M889.272 791.987C894.166 799.331 891.946 805.055 886.708 812.344C865.581 797.675 844.962 783.473 824.474 769.107C787.765 743.365 751.45 717.121 714.29 691.964C702.576 684.033 698.914 675.392 704.004 659.916C766.255 704.202 827.414 747.709 889.272 791.987Z"></path><path d="M263.41 826.473C263.991 852.558 264.151 877.439 264.378 902.32C264.435 908.519 263.78 913.513 254.822 913.399C246.003 913.285 245.254 908.362 245.271 902.143C245.33 879.436 245.095 856.727 245.356 834.022C245.5 821.494 248.831 820.024 263.41 826.473Z"></path><path d="M389.736 674.767C388.667 678.216 388.471 681.54 386.614 682.936C367.856 697.036 348.826 710.821 328.432 725.749C324.906 712.6 322.605 703.248 335.56 695.25C352.932 684.526 368.97 671.917 385.242 660.358C391.367 664.938 389.653 669.551 389.736 674.767Z"></path><path d="M153.225 743.329C160.685 743.343 166.792 743.547 172.882 743.328C180.124 743.066 182.899 746.587 183.324 752.822C183.778 759.473 180.505 762.672 173.523 762.708C161.326 762.771 149.128 762.803 136.931 762.793C129.77 762.787 127.151 759.133 127.196 752.722C127.244 745.853 131.076 743.413 137.79 743.452C142.481 743.48 147.173 743.376 153.225 743.329Z"></path><path d="M1499.89 457.8C1480.69 451.8 1465.49 447.6 1454.29 445.2C1443.09 442.4 1429.49 441 1413.49 441C1381.09 441 1356.09 454.2 1338.49 480.6C1320.89 507 1312.09 543.2 1312.09 589.2C1312.09 628.8 1319.49 663 1334.29 691.8C1349.09 720.6 1373.89 735 1408.69 735C1425.89 735 1441.89 733.2 1456.69 729.6C1471.89 726 1485.69 721.6 1498.09 716.4L1527.49 774C1511.89 782 1493.09 788.4 1471.09 793.2C1449.09 798 1429.69 800.4 1412.89 800.4C1349.29 800.4 1303.09 780 1274.29 739.2C1245.49 698.4 1231.09 648.6 1231.09 589.8C1231.09 527 1246.89 475.6 1278.49 435.6C1310.49 395.6 1356.29 375.6 1415.89 375.6C1427.89 375.6 1444.49 377.6 1465.69 381.6C1486.89 385.6 1506.29 392.4 1523.89 402L1499.89 457.8ZM1632.35 702C1644.75 708.4 1660.55 714.8 1679.75 721.2C1698.95 727.6 1717.15 730.8 1734.35 730.8C1758.75 730.8 1776.95 727 1788.95 719.4C1801.35 711.8 1807.55 700.8 1807.55 686.4C1807.55 672.8 1799.35 660.8 1782.95 650.4C1766.95 639.6 1749.15 629.2 1729.55 619.2C1700.75 604.4 1673.15 587.2 1646.75 567.6C1620.75 547.6 1607.75 519.6 1607.75 483.6C1607.75 452.8 1619.95 427 1644.35 406.2C1668.75 385 1703.35 374.4 1748.15 374.4C1768.55 374.4 1788.95 377.6 1809.35 384C1829.75 390.4 1847.75 397.4 1863.35 405L1837.55 467.4C1825.15 461.4 1811.75 455.8 1797.35 450.6C1782.95 445 1766.95 442.2 1749.35 442.2C1732.15 442.2 1717.55 445.6 1705.55 452.4C1693.95 459.2 1688.15 469.6 1688.15 483.6C1688.15 498.4 1695.15 510.8 1709.15 520.8C1723.55 530.4 1740.75 540.2 1760.75 550.2L1764.95 552.6C1793.75 567.4 1821.35 585 1847.75 605.4C1874.55 625.4 1887.95 652.8 1887.95 687.6C1887.95 720 1874.75 746.8 1848.35 768C1822.35 789.2 1784.75 799.8 1735.55 799.8C1718.35 799.8 1696.15 796 1668.95 788.4C1642.15 780.8 1624.15 773 1614.95 765L1632.35 702Z" fill="#D35400"></path><path d="M2263.41 792H1994.01V384H2071.41V731.4H2251.41L2263.41 792ZM2375.59 372C2387.99 372 2398.39 376.2 2406.79 384.6C2415.59 393 2419.99 403.4 2419.99 415.8C2419.99 428.2 2415.59 438.6 2406.79 447C2398.39 455.4 2387.99 459.6 2375.59 459.6C2363.59 459.6 2353.39 455.4 2344.99 447C2336.59 438.6 2332.39 428.2 2332.39 415.8C2332.39 403.4 2336.59 393 2344.99 384.6C2353.39 376.2 2363.59 372 2375.59 372ZM2414.59 501V792H2336.59V501H2414.59ZM2601.7 368.4V510C2613.3 503.6 2625.5 498.6 2638.3 495C2651.5 491.4 2663.3 489.6 2673.7 489.6C2716.5 489.6 2749.3 504.4 2772.1 534C2794.9 563.6 2806.3 600.4 2806.3 644.4C2806.3 688.4 2794.5 725.2 2770.9 754.8C2747.7 784.4 2715.3 799.2 2673.7 799.2C2660.1 799.2 2644.9 796.4 2628.1 790.8C2611.3 785.2 2596.3 777.4 2583.1 767.4L2563.9 792H2524.3V375L2601.7 368.4ZM2653.3 732.6C2680.1 732.6 2698.9 723 2709.7 703.8C2720.5 684.2 2725.9 664.4 2725.9 644.4C2725.9 621.6 2721.1 601.2 2711.5 583.2C2701.9 565.2 2682.5 556.2 2653.3 556.2C2644.9 556.2 2636.1 557.8 2626.9 561C2618.1 563.8 2609.7 567.8 2601.7 573V715.8C2609.7 720.6 2618.1 724.6 2626.9 727.8C2636.1 731 2644.9 732.6 2653.3 732.6Z"></path></svg>
|
|
| /about |
About
|
|
| /contributing |
Get Involved
|
|
| /roadmap |
Roadmap
|
|
| /governance |
Governance
|
|
| /strategic-organizations |
Strategic Organizations
|
|
| /resources |
News & Resources
|
|
| /about |
About
|
|
| /contributing |
Get Involved
|
|
| /roadmap |
Roadmap
|
|
| /governance |
Governance
|
|
| /strategic-organizations |
Strategic Organizations
|
|
| /resources |
News & Resources
|
|
| /. |
<svg width="300" height="80" viewbox="0 0 2832 1093" xmlns="http://www.w3.org/2000/svg" fill="var(--color-text)"><path d="M683.797 504.546C683.825 564.596 683.852 623.33 683.879 682.065C683.887 700.185 675.841 706.956 656.277 706.848C582.246 706.438 508.214 706.188 434.182 706.209C413.122 706.215 405.944 700.416 405.932 680.927C405.892 610.797 405.897 540.666 405.937 470.535C405.948 451.576 411.586 446.042 431.613 446.009C507.163 445.885 582.714 445.869 658.264 445.93C678.597 445.947 683.775 451.079 683.814 470.356C683.837 481.314 683.804 492.273 683.797 504.546Z" fill="#D35400"></path><path d="M488.25 1028.38C487.35 983.108 490.153 988.104 529.344 987.966C547.167 987.903 564.99 988.066 582.812 987.936C595.091 987.846 601.262 993.827 601.394 1004.77C601.68 1028.42 601.591 1052.08 601.274 1075.74C601.144 1085.48 595.506 1091.64 584.777 1091.77C558.049 1092.09 531.312 1092.09 504.582 1091.86C492.629 1091.75 488.494 1084.46 488.432 1074.37C488.342 1059.48 488.308 1044.58 488.25 1028.38Z"></path><path d="M488.682 107.139C488.766 95.7447 488.457 85.6379 489.049 75.5775C489.592 66.3605 494.894 61.2508 505.405 61.3034C531.702 61.4349 558.002 61.4591 584.298 61.2711C595.634 61.1901 600.917 66.8774 601.059 76.5834C601.405 100.264 601.309 123.953 601.067 147.636C600.961 157.999 595.256 164.154 583.722 164.259C557.901 164.494 532.078 164.676 506.258 164.564C494.84 164.515 489.125 158.483 488.983 147.923C488.807 134.765 488.775 121.606 488.682 107.139Z"></path><path d="M260.274 805.63C244.323 805.635 229.772 805.424 215.232 805.711C203.784 805.937 198.703 800.308 198.77 790.454C198.935 765.924 199.617 741.399 199.951 716.87C200.066 708.4 204.409 703.584 213.374 703.071C241.016 701.492 268.694 701.627 296.343 702.69C306.597 703.084 311.081 709.667 311.158 718.707C311.36 742.373 311.343 766.041 311.328 789.709C311.321 800.365 305.997 805.965 294.056 805.666C283.271 805.396 272.472 805.621 260.274 805.63Z"></path><path d="M907.511 309.767C907.504 296.175 907.787 283.888 907.405 271.619C907.064 260.686 912.683 254.77 923.921 254.594C950.673 254.174 977.441 254.077 1004.19 254.511C1013.97 254.67 1019.37 260.045 1019.29 269.897C1019.09 294.454 1019.2 319.013 1019.31 343.571C1019.36 353.329 1014.49 358.187 1003.95 358.172C977.193 358.132 950.431 358.063 923.672 358.235C912.157 358.309 907.667 352.534 907.576 342.655C907.478 332.131 907.527 321.605 907.511 309.767Z"></path><path d="M111.769 777.981C111.81 803.683 110.204 805.17 83.766 805.166C62.6329 805.162 41.4984 805.29 20.3671 805.102C4.00456 804.957 0.234169 801.47 0.1505 786.639C0.0219422 763.83 0.411659 741.014 0.00586232 718.21C-0.216167 705.733 5.86542 700.878 18.8028 701.052C43.6879 701.385 68.5836 701.337 93.4708 701.09C106.671 700.959 112.12 706.772 111.913 718.809C111.582 738.106 111.789 757.41 111.769 777.981Z"></path><path d="M182.266 330.586C182.181 336.681 182.386 341.519 181.946 346.305C181.303 353.306 177.317 357.917 169.437 357.964C140.846 358.132 112.253 358.133 83.6615 358.005C75.1053 357.967 70.717 353.207 70.6622 345.494C70.4787 319.662 70.5154 293.829 70.586 267.996C70.6102 259.104 76.8641 255.29 85.1541 255.186C112.326 254.845 139.512 254.775 166.68 255.237C177.17 255.415 182.536 261.134 182.356 271.51C182.022 290.771 182.265 310.04 182.266 330.586Z"></path><path d="M308.922 1025.83C304.362 1031.65 298.734 1031.81 293.007 1031.81C267.669 1031.82 242.324 1031.55 216.995 1032.01C204.346 1032.23 198.634 1026.61 198.528 1015.56C198.305 992.33 198.395 969.1 198.514 945.873C198.572 934.563 204.635 929.279 217.01 929.467C242.341 929.852 267.681 929.853 293.017 929.78C302.629 929.752 310.962 932.502 310.976 942.276C311.016 969.787 313.705 997.369 308.922 1025.83Z"></path><path d="M1018.69 806.045C1018.86 830.421 1019.04 853.627 1018.91 876.832C1018.83 891.082 1014.8 894.862 999.874 895.091C974.577 895.477 949.276 895.646 923.977 895.984C912.974 896.131 907.448 891.318 907.471 880.924C907.523 856.405 907.561 831.885 907.44 807.367C907.396 798.322 911.615 793.274 921.547 793.09C947.31 792.613 973.074 792.07 998.841 791.826C1008.5 791.734 1016.49 794.596 1018.69 806.045Z"></path><path d="M555.934 815.109C555.489 864.102 555.02 911.782 554.632 959.462C554.576 966.277 555.11 973.008 544.447 972.977C533.996 972.946 533.88 966.261 533.87 959.431C533.765 885.004 533.695 810.578 533.612 736.151C533.604 728.818 533.565 722.044 544.915 721.996C556.648 721.946 555.875 729.281 555.902 736.304C555.998 762.134 555.937 787.965 555.934 815.109Z"></path><path d="M533.683 280.824C533.959 250.194 532.903 220.866 535.128 191.573C535.595 185.427 535.979 180.261 544.792 180.224C553.663 180.187 554.344 185.354 554.361 191.526C554.465 229.154 554.708 266.782 554.723 304.41C554.737 342.019 556.91 379.634 554.486 417.238C554.091 423.354 557.015 431.08 545.426 431.325C534.335 431.56 533.7 424.879 533.699 417.383C533.692 372.302 533.688 327.221 533.683 280.824Z"></path><path d="M861.847 379.555C809.048 416.712 757.051 453.298 704.125 490.537C696.203 476.836 700.731 468.512 711.397 461.088C752.812 432.259 794.053 403.212 835.333 374.215C850.342 363.672 865.262 353.019 880.268 342.472C883.158 340.441 885.649 337.329 890.913 338.736C894.332 348.879 893.619 357.77 882.764 364.586C875.768 368.98 869.334 374.157 861.847 379.555Z"></path><path d="M221.456 351.188C272.861 387.391 323.177 423.381 374.215 458.453C386.105 466.624 390.765 475.387 387.067 488.436C382.544 490.494 380.171 486.948 377.411 485.009C320.394 444.95 263.616 404.591 206.292 364.921C195.67 357.57 195.772 349.683 199.1 339.323C208.677 339.531 213.668 346.801 221.456 351.188Z"></path><path d="M889.272 791.987C894.166 799.331 891.946 805.055 886.708 812.344C865.581 797.675 844.962 783.473 824.474 769.107C787.765 743.365 751.45 717.121 714.29 691.964C702.576 684.033 698.914 675.392 704.004 659.916C766.255 704.202 827.414 747.709 889.272 791.987Z"></path><path d="M263.41 826.473C263.991 852.558 264.151 877.439 264.378 902.32C264.435 908.519 263.78 913.513 254.822 913.399C246.003 913.285 245.254 908.362 245.271 902.143C245.33 879.436 245.095 856.727 245.356 834.022C245.5 821.494 248.831 820.024 263.41 826.473Z"></path><path d="M389.736 674.767C388.667 678.216 388.471 681.54 386.614 682.936C367.856 697.036 348.826 710.821 328.432 725.749C324.906 712.6 322.605 703.248 335.56 695.25C352.932 684.526 368.97 671.917 385.242 660.358C391.367 664.938 389.653 669.551 389.736 674.767Z"></path><path d="M153.225 743.329C160.685 743.343 166.792 743.547 172.882 743.328C180.124 743.066 182.899 746.587 183.324 752.822C183.778 759.473 180.505 762.672 173.523 762.708C161.326 762.771 149.128 762.803 136.931 762.793C129.77 762.787 127.151 759.133 127.196 752.722C127.244 745.853 131.076 743.413 137.79 743.452C142.481 743.48 147.173 743.376 153.225 743.329Z"></path><path d="M1499.89 457.8C1480.69 451.8 1465.49 447.6 1454.29 445.2C1443.09 442.4 1429.49 441 1413.49 441C1381.09 441 1356.09 454.2 1338.49 480.6C1320.89 507 1312.09 543.2 1312.09 589.2C1312.09 628.8 1319.49 663 1334.29 691.8C1349.09 720.6 1373.89 735 1408.69 735C1425.89 735 1441.89 733.2 1456.69 729.6C1471.89 726 1485.69 721.6 1498.09 716.4L1527.49 774C1511.89 782 1493.09 788.4 1471.09 793.2C1449.09 798 1429.69 800.4 1412.89 800.4C1349.29 800.4 1303.09 780 1274.29 739.2C1245.49 698.4 1231.09 648.6 1231.09 589.8C1231.09 527 1246.89 475.6 1278.49 435.6C1310.49 395.6 1356.29 375.6 1415.89 375.6C1427.89 375.6 1444.49 377.6 1465.69 381.6C1486.89 385.6 1506.29 392.4 1523.89 402L1499.89 457.8ZM1632.35 702C1644.75 708.4 1660.55 714.8 1679.75 721.2C1698.95 727.6 1717.15 730.8 1734.35 730.8C1758.75 730.8 1776.95 727 1788.95 719.4C1801.35 711.8 1807.55 700.8 1807.55 686.4C1807.55 672.8 1799.35 660.8 1782.95 650.4C1766.95 639.6 1749.15 629.2 1729.55 619.2C1700.75 604.4 1673.15 587.2 1646.75 567.6C1620.75 547.6 1607.75 519.6 1607.75 483.6C1607.75 452.8 1619.95 427 1644.35 406.2C1668.75 385 1703.35 374.4 1748.15 374.4C1768.55 374.4 1788.95 377.6 1809.35 384C1829.75 390.4 1847.75 397.4 1863.35 405L1837.55 467.4C1825.15 461.4 1811.75 455.8 1797.35 450.6C1782.95 445 1766.95 442.2 1749.35 442.2C1732.15 442.2 1717.55 445.6 1705.55 452.4C1693.95 459.2 1688.15 469.6 1688.15 483.6C1688.15 498.4 1695.15 510.8 1709.15 520.8C1723.55 530.4 1740.75 540.2 1760.75 550.2L1764.95 552.6C1793.75 567.4 1821.35 585 1847.75 605.4C1874.55 625.4 1887.95 652.8 1887.95 687.6C1887.95 720 1874.75 746.8 1848.35 768C1822.35 789.2 1784.75 799.8 1735.55 799.8C1718.35 799.8 1696.15 796 1668.95 788.4C1642.15 780.8 1624.15 773 1614.95 765L1632.35 702Z" fill="#D35400"></path><path d="M2263.41 792H1994.01V384H2071.41V731.4H2251.41L2263.41 792ZM2375.59 372C2387.99 372 2398.39 376.2 2406.79 384.6C2415.59 393 2419.99 403.4 2419.99 415.8C2419.99 428.2 2415.59 438.6 2406.79 447C2398.39 455.4 2387.99 459.6 2375.59 459.6C2363.59 459.6 2353.39 455.4 2344.99 447C2336.59 438.6 2332.39 428.2 2332.39 415.8C2332.39 403.4 2336.59 393 2344.99 384.6C2353.39 376.2 2363.59 372 2375.59 372ZM2414.59 501V792H2336.59V501H2414.59ZM2601.7 368.4V510C2613.3 503.6 2625.5 498.6 2638.3 495C2651.5 491.4 2663.3 489.6 2673.7 489.6C2716.5 489.6 2749.3 504.4 2772.1 534C2794.9 563.6 2806.3 600.4 2806.3 644.4C2806.3 688.4 2794.5 725.2 2770.9 754.8C2747.7 784.4 2715.3 799.2 2673.7 799.2C2660.1 799.2 2644.9 796.4 2628.1 790.8C2611.3 785.2 2596.3 777.4 2583.1 767.4L2563.9 792H2524.3V375L2601.7 368.4ZM2653.3 732.6C2680.1 732.6 2698.9 723 2709.7 703.8C2720.5 684.2 2725.9 664.4 2725.9 644.4C2725.9 621.6 2721.1 601.2 2711.5 583.2C2701.9 565.2 2682.5 556.2 2653.3 556.2C2644.9 556.2 2636.1 557.8 2626.9 561C2618.1 563.8 2609.7 567.8 2601.7 573V715.8C2609.7 720.6 2618.1 724.6 2626.9 727.8C2636.1 731 2644.9 732.6 2653.3 732.6Z"></path></svg>
|
|
| /CodeOfConduct |
Code of Conduct
|
|
| /License |
License
|
|
Внешние ссылки
Кол-во: 22
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 22 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать внешние ссылки
| Url | Анкор |
|---|---|
| lean-lang.org |
Lean
|
| mathlib-initiative.org |
Mathlib
|
| reservoir.lean-lang.org |
Reservoir
|
| github.com |
<svg xmlns="http://www.w3.org/2000/svg" viewbox="0 0 24 24" width="25"><g data-name="Layer 2"><rect width="24" height="24" opacity="0"></rect><path d="M16.24 22a1 1 0 0 1-1-1v-2.6a2.15 2.15 0 0 0-.54-1.66 1 1 0 0 1 .61-1.67C17.75 14.78 20 14 20 9.77a4 4 0 0 0-.67-2.22 2.75 2.75 0 0 1-.41-2.06 3.71 3.71 0 0 0 0-1.41 7.65 7.65 0 0 0-2.09 1.09 1 1 0 0 1-.84.15 10.15 10.15 0 0 0-5.52 0 1 1 0 0 1-.84-.15 7.4 7.4 0 0 0-2.11-1.09 3.52 3.52 0 0 0 0 1.41 2.84 2.84 0 0 1-.43 2.08 4.07 4.07 0 0 0-.67 2.23c0 3.89 1.88 4.93 4.7 5.29a1 1 0 0 1 .82.66 1 1 0 0 1-.21 1 2.06 2.06 0 0 0-.55 1.56V21a1 1 0 0 1-2 0v-.57a6 6 0 0 1-5.27-2.09 3.9 3.9 0 0 0-1.16-.88 1 1 0 1 1 .5-1.94 4.93 4.93 0 0 1 2 1.36c1 1 2 1.88 3.9 1.52a3.89 3.89 0 0 1 .23-1.58c-2.06-.52-5-2-5-7a6 6 0 0 1 1-3.33.85.85 0 0 0 .13-.62 5.69 5.69 0 0 1 .33-3.21 1 1 0 0 1 .63-.57c.34-.1 1.56-.3 3.87 1.2a12.16 12.16 0 0 1 5.69 0c2.31-1.5 3.53-1.31 3.86-1.2a1 1 0 0 1 .63.57 5.71 5.71 0 0 1 .33 3.22.75.75 0 0 0 .11.57 6 6 0 0 1 1 3.34c0 5.07-2.92 6.54-5 7a4.28 4.28 0 0 1 .22 1.67V21a1 1 0 0 1-.94 1z"></path></g></svg>
|
| lean-lang.org |
Lean
|
| mathlib-initiative.org |
Mathlib
|
| reservoir.lean-lang.org |
Reservoir
|
| leanprover.github.io |
<svg xmlns="http://www.w3.org/2000/svg" viewbox="0 0 24 24" width="25" height="25" fill="var(--color-primary)"><g data-name="Layer 2"><g data-name="book"><rect width="24" height="24" opacity="0"></rect><path d="M19 3H7a3 3 0 0 0-3 3v12a3 3 0 0 0 3 3h12a1 1 0 0 0 1-1V4a1 1 0 0 0-1-1zM7 5h11v10H7a3 3 0 0 0-1 .18V6a1 1 0 0 1 1-1zm0 14a1 1 0 0 1 0-2h11v2z"></path></g></g></svg>API
|
| github.com |
<svg xmlns="http://www.w3.org/2000/svg" viewbox="0 0 24 24" width="25"><g data-name="Layer 2"><rect width="24" height="24" opacity="0"></rect><path d="M16.24 22a1 1 0 0 1-1-1v-2.6a2.15 2.15 0 0 0-.54-1.66 1 1 0 0 1 .61-1.67C17.75 14.78 20 14 20 9.77a4 4 0 0 0-.67-2.22 2.75 2.75 0 0 1-.41-2.06 3.71 3.71 0 0 0 0-1.41 7.65 7.65 0 0 0-2.09 1.09 1 1 0 0 1-.84.15 10.15 10.15 0 0 0-5.52 0 1 1 0 0 1-.84-.15 7.4 7.4 0 0 0-2.11-1.09 3.52 3.52 0 0 0 0 1.41 2.84 2.84 0 0 1-.43 2.08 4.07 4.07 0 0 0-.67 2.23c0 3.89 1.88 4.93 4.7 5.29a1 1 0 0 1 .82.66 1 1 0 0 1-.21 1 2.06 2.06 0 0 0-.55 1.56V21a1 1 0 0 1-2 0v-.57a6 6 0 0 1-5.27-2.09 3.9 3.9 0 0 0-1.16-.88 1 1 0 1 1 .5-1.94 4.93 4.93 0 0 1 2 1.36c1 1 2 1.88 3.9 1.52a3.89 3.89 0 0 1 .23-1.58c-2.06-.52-5-2-5-7a6 6 0 0 1 1-3.33.85.85 0 0 0 .13-.62 5.69 5.69 0 0 1 .33-3.21 1 1 0 0 1 .63-.57c.34-.1 1.56-.3 3.87 1.2a12.16 12.16 0 0 1 5.69 0c2.31-1.5 3.53-1.31 3.86-1.2a1 1 0 0 1 .63.57 5.71 5.71 0 0 1 .33 3.22.75.75 0 0 0 .11.57 6 6 0 0 1 1 3.34c0 5.07-2.92 6.54-5 7a4.28 4.28 0 0 1 .22 1.67V21a1 1 0 0 1-.94 1z"></path></g></svg>Code
|
| arxiv.org |
<svg xmlns="http://www.w3.org/2000/svg" viewbox="0 0 24 24" width="25" fill="var(--color-primary)"><g data-name="Layer 2"><g data-name="arrow-forward"><rect width="24" height="24" transform="rotate(-90 12 12)" opacity="0"></rect><path d="M5 13h11.86l-3.63 4.36a1 1 0 0 0 1.54 1.28l5-6a1.19 1.19 0 0 0 .09-.15c0-.05.05-.08.07-.13A1 1 0 0 0 20 12a1 1 0 0 0-.07-.36c0-.05-.05-.08-.07-.13a1.19 1.19 0 0 0-.09-.15l-5-6A1 1 0 0 0 14 5a1 1 0 0 0-.64.23 1 1 0 0 0-.13 1.41L16.86 11H5a1 1 0 0 0 0 2z"></path></g></g></svg>Whitepaper
|
| lean-lang.org |
Install
|
| lean-lang.org |
Learn
|
| lean-lang.org |
Community
|
| leanprover.github.io |
CSLib API
|
| lean-lang.org |
Lean Language Reference
|
| live.lean-lang.org |
Lean playground
|
| marketplace.visualstudio.com |
VS Code extension
|
| loogle.lean-lang.org |
Loogle
|
| reservoir.lean-lang.org |
Reservoir
|
| github.com |
Mathlib
|
| leanprover.zulipchat.com |
<img width="20" src="/static/svg/zulip-white.svg" alt="Zulip">
|
| github.com |
<img width="20" src="/static/svg/github-white.svg" alt="GitHub">
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://www.cslib.io/. готова к продвижению на 49%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки индексации.
Поделитесь с друзьями: