lean-lang.org
Регистрован
Датум ажурирања анализе странице:
2026/02/05 10:09:10
Датум последњег вхоис ажурирања:
2026/06/19 04:15:15
Статус домена
Регистрован
Плаћено до
05.09.2026
Доступно од
05.10.2026
×
![Снимак екрана веб странице преко целог екрана]()
lean-lang.org Снимак екрана веб странице
СЕО Сцоре
58.22%
85
Скор постигнут
146
Максимални резултат
Маин Информатион
Наслов: Lean Programming Language
Опис: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Кључне речи: непознато
Паге Енцодинг:
utf-8
Величина датотеке странице: 198 KB
Информације о серверу
IP: 75.2.60.5
Локација: United States,US,37.751,-97.822,America/Chicago
ХТТП сервер: netlify
Кодирање: utf-8
Листа мета ознака
- charset: UTF-8
- name: viewport content: width=device-width, initial-scale=1
- name: description content: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
- name: theme-color content: #3D6AC9
- property: og:title content: Lean Programming Language
- property: og:type content: article
- property: og:image content: https://lean-lang.org/static/png/banner.png
- property: og:url content: https://lean-lang.org
- property: og:image:alt content: Lean Programming Language
- property: og:site_name content: Lean Language
- name: twitter:title content: Lean Programming Language
- name: twitter:description content: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
- name: twitter:image content: https://lean-lang.org/static/png/banner.png
- name: twitter:image:alt content: Lean Programming Language
- name: twitter:creator content: @leanprover
- name: twitter:card content: summary_large_image
Интерне везе
Ектернал Линкс
Вхоис Информатион
domain_name: lean-lang.org
update_date: 2025-08-26T18:48:13.53Z
update_time: 1756234093
creation_date: 2023-09-05T16:30:12.378Z
creation_time: 1693931412
expiration_date: 2026-09-05T16:30:12.378Z
Вхоис необрађени подаци
Domain Name: LEAN-LANG.ORG
Registrar: Squarespace Domains II LLC
Domain Status: client delete prohibited
Domain Status: client transfer prohibited
Registry Expiry Date: 2026-09-05T16:30:12.378Z
Creation Date: 2023-09-05T16:30:12.378Z
Updated Date: 2025-08-26T18:48:13.53Z
Name Server: NS-CLOUD-C1.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C2.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C3.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C4.GOOGLEDOMAINS.COM
REGISTRAR Contact: Squarespace Domains II LLC
>>> Last update of RDAP database: 2026-06-19T04:15:15Z
СЕО Аудит
Тецхницал СЕО
✓
Респонсе Цоде
200
Статус 200 ОК - страница се учитава исправно.
✓
Кодирање знакова
Page: utf-8, Header: utf-8
Кодирање знакова конзистентно између ХТМЛ-а и заглавља.
✓
Величина странице
203652 bytes
Величина странице прихватљива за брзо учитавање.
!
Ресурси
51 total
Превише ресурса. Оптимизујте и комбинујте датотеке за боље перформансе.
✓
Хрефланг Тагс
0 hreflang tags
Додајте ознаке хрефланг ако имате вишејезичан садржај.
!
Robots.txt
Missing
Додајте роботс.ткт датотеку да контролишете индексирање претраживача.
!
Sitemap
Not found
Додајте ситемап.кмл и референцирајте га у роботс.ткт.
✓
HTTPS
Yes
Сигурна ХТТПС веза је омогућена.
!
Компресија
br
Омогућите гзип или зстд компресију да бисте смањили величину датотека.
✓
Кеширање
public,max-age=0,must-revalidate
Заглавља контроле кеша исправно постављена.
✓
Брзина странице
2.23 ms
Одлична брзина утовара.
СЕО на страници
!
Наслов
Lean Programming Language
Наслов је прекратак. Проширите на 30-60 знакова за бољи СЕО.
✓
Мета Десцриптион
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code. Lenght:127
Добра дужина мета описа (100-160 знакова).
!
Х1 Наслов
3 found - "Lean in Action"
Користите само један Х1 наслов по страници. Уклоните додатне Х1 ознаке.
✓
Број речи
1001
Добра дужина садржаја (препоручује се 500-2000 речи).
!
Цаноницал Таг
Додајте канонску ознаку да бисте спречили проблеме са дуплим садржајем.
✓
Дуплицате Мета
[]
Нису пронађене дупле мета ознаке.
✓
Кључне речи
Мета кључне речи су опционе (не користе их главни претраживачи).
Садржај и кориснички доживљај
✓
Језик
en
Атрибут језика је исправно подешен.
✓
Слике
12 total, 0 missing ALT
Све слике имају исправан АЛТ текст.
✓
Виевпорт
width=device-width, initial-scale=1
Метаознака оквира приказа правилно подешена за мобилне уређаје.
!
Отворите Графикон
Missing: og:description
Додајте недостајуће ОпенГрапх ознаке за дељење на друштвеним медијима:og:description
!
Структурирани подаци
0 JSON-LD scripts
Додајте структуриране податке (ЈСОН-ЛД) за богате исечке и бољи СЕО.
Позиције у Google
Тражи фразе - Google
| Положај | Фраза | Страница | Сниппет |
|---|---|---|---|
| 3 | /doc/reference/lates... | ||
| 8 | /doc/api/Init/Data/L... |