lean-lang.org
Reģistrēts
Lapas analīzes atjaunināšanas datums:
2026/02/05 10:09:10
Pēdējā whois atjaunināšanas datums:
2026/06/19 04:15:15
Domēna statuss
Reģistrēts
Maksāja līdz
05.09.2026
Pieejams no
05.10.2026
×
![Pilnekrāna vietnes ekrānuzņēmums]()
lean-lang.org Vietnes ekrānuzņēmums
SEO rādītājs
58.22%
85
Rezultāts sasniegts
146
Maksimālais punktu skaits
Galvenā informācija
Nosaukums: Lean Programming Language
Apraksts: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Atslēgvārdi: nezināms
Lapas kodējums:
utf-8
Lapas faila izmērs: 198 KB
Servera informācija
IP: 75.2.60.5
Atrašanās vieta: United States,US,37.751,-97.822,America/Chicago
HTTP serveris: netlify
Kodēšana: utf-8
Meta tagu saraksts
- 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
Iekšējās saites
Ārējās saites
Whois informācija
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
Whois neapstrādātie dati
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
SEO audits
Tehniskais SEO
✓
Atbildes kods
200
Statuss 200 OK - lapa tiek ielādēta pareizi.
✓
Rakstzīmju kodēšana
Page: utf-8, Header: utf-8
Rakstzīmju kodējums ir konsekvents starp HTML un galvenēm.
✓
Lapas izmērs
203652 bytes
Lapas izmērs ir pieņemams ātrai ielādei.
!
Resursi
51 total
Pārāk daudz resursu. Optimizējiet un apvienojiet failus, lai nodrošinātu labāku veiktspēju.
✓
Hreflang tagi
0 hreflang tags
Pievienojiet tagus hreflang, ja jums ir daudzvalodu saturs.
!
Robots.txt
Missing
Pievienojiet failu robots.txt, lai kontrolētu meklētājprogrammas pārmeklēšanu.
!
Sitemap
Not found
Pievienojiet sitemap.xml un atsaucieties uz to failā robots.txt.
✓
HTTPS
Yes
Ir iespējots drošs HTTPS savienojums.
!
Saspiešana
br
Iespējojiet gzip vai zstd saspiešanu, lai samazinātu failu izmērus.
✓
Kešatmiņa
public,max-age=0,must-revalidate
Pareizi iestatītas kešatmiņas vadības galvenes.
✓
Lapas ātrums
2.23 ms
Lielisks iekraušanas ātrums.
SEO lapā
!
Nosaukums
Lean Programming Language
Virsraksts ir pārāk īss. Paplašiniet līdz 30–60 rakstzīmēm, lai uzlabotu SEO.
✓
Meta apraksts
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code. Lenght:127
Labs metaapraksta garums (100-160 rakstzīmes).
!
H1 Virsraksts
3 found - "Lean in Action"
Katrā lapā izmantojiet tikai vienu H1 virsrakstu. Noņemiet papildu H1 tagus.
✓
Vārdu skaits
1001
Labs satura garums (ieteicams 500–2000 vārdu).
!
Kanoniskā atzīme
Pievienojiet kanonisko tagu, lai novērstu satura dublēšanos.
✓
Meta dublikāts
[]
Nav atrasti metatagu dublikāti.
✓
Atslēgvārdi
Meta atslēgvārdi nav obligāti (lielākās meklētājprogrammas neizmanto).
Saturs un UX
✓
Valoda
en
Pareizi iestatīts valodas atribūts.
✓
Attēli
12 total, 0 missing ALT
Visiem attēliem ir atbilstošs ALT teksts.
✓
Skatu logs
width=device-width, initial-scale=1
Skatvietas metatags ir pareizi iestatīts mobilajām ierīcēm.
!
Atveriet grafiku
Missing: og:description
Pievienojiet trūkstošos OpenGraph tagus sociālo mediju kopīgošanai:og:description
!
Strukturētie dati
0 JSON-LD scripts
Pievienojiet strukturētus datus (JSON-LD), lai iegūtu bagātinātus fragmentus un uzlabotu SEO.
Pozīcijas iekšā Google
Meklēšanas frāzes - Google
| Pozīcija | Frāze | Lapa | Fragments |
|---|---|---|---|
| 3 | /doc/reference/lates... | ||
| 8 | /doc/api/Init/Data/L... |