lean-lang.org
Kayıtlı
Sayfa analizi güncelleme tarihi:
2026/02/05 10:09:10
Son whois güncelleme tarihi:
2026/06/19 04:15:15
Etki Alanı Durumu
Kayıtlı
Şu ana kadar ödendi
05.09.2026
Şu tarihten itibaren mevcut:
05.10.2026
×
![Tam ekran web sitesi ekran görüntüsü]()
lean-lang.org Web sitesi ekran görüntüsü
SEO Puanı
58.22%
85
Elde edilen puan
146
Maksimum puan
Ana Bilgiler
Başlık: Lean Programming Language
Tanım: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Anahtar Kelimeler: bilinmiyor
Sayfa Kodlama:
utf-8
Sayfa Dosya Boyutu: 198 KB
Sunucu Bilgileri
IP: 75.2.60.5
Konum: United States,US,37.751,-97.822,America/Chicago
Http Sunucusu: netlify
Kodlama: utf-8
Meta Etiketler Listesi
- 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
Dahili Bağlantılar
Dış Bağlantılar
Whois Bilgileri
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 Ham Verileri
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 Denetimi
Teknik SEO
✓
Yanıt Kodu
200
Durum 200 Tamam - sayfa doğru şekilde yükleniyor.
✓
Karakter Kodlama
Page: utf-8, Header: utf-8
HTML ve başlıklar arasında tutarlı karakter kodlaması.
✓
Sayfa Boyutu
203652 bytes
Hızlı yükleme için kabul edilebilir sayfa boyutu.
!
Kaynaklar
51 total
Çok fazla kaynak var. Daha iyi performans için dosyaları optimize edin ve birleştirin.
✓
Hreflang Etiket
0 hreflang tags
Çok dilli içeriğiniz varsa hreflang etiketleri ekleyin.
!
Robots.txt
Missing
Arama motoru taramasını kontrol etmek için robots.txt dosyasını ekleyin.
!
Sitemap
Not found
Sitemap.xml'yi ekleyin ve robots.txt dosyasında buna referans verin.
✓
HTTPS
Yes
Güvenli HTTPS bağlantısı etkinleştirildi.
!
Sıkıştırma
br
Dosya boyutlarını azaltmak için gzip veya zstd sıkıştırmasını etkinleştirin.
✓
Önbelleğe alma
public,max-age=0,must-revalidate
Önbellek kontrol başlıkları düzgün şekilde ayarlanmış.
✓
Sayfa Hızı
2.23 ms
Mükemmel yükleme hızı.
Sayfa İçi SEO
!
Başlık
Lean Programming Language
Başlık çok kısa. Daha iyi SEO için 30-60 karaktere genişletin.
✓
Meta Açıklama
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code. Lenght:127
İyi meta açıklama uzunluğu (100-160 karakter).
!
H1 Başlığı
3 found - "Lean in Action"
Sayfa başına yalnızca bir H1 başlığı kullanın. Fazladan H1 etiketlerini kaldırın.
✓
Kelime Sayısı
1001
İyi içerik uzunluğu (500-2000 kelime önerilir).
!
Kanonik Etiket
Yinelenen içerik sorunlarını önlemek için standart etiket ekleyin.
✓
Yinelenen Meta
[]
Yinelenen meta etiket bulunamadı.
✓
Anahtar Kelimeler
Meta anahtar kelimeler isteğe bağlıdır (büyük arama motorları tarafından kullanılmaz).
İçerik ve Kullanıcı Deneyimi
✓
Dil
en
Dil özelliği düzgün şekilde ayarlandı.
✓
Görseller
12 total, 0 missing ALT
Tüm resimlerde uygun ALT metni bulunur.
✓
Görünüm alanı
width=device-width, initial-scale=1
Görünüm meta etiketi mobil cihazlar için doğru şekilde ayarlanmış.
!
Grafiği Aç
Missing: og:description
Sosyal medya paylaşımı için eksik OpenGraph etiketlerini ekleyin:og:description
!
Yapılandırılmış Veri
0 JSON-LD scripts
Zengin snippet'ler ve daha iyi SEO için yapılandırılmış veriler (JSON-LD) ekleyin.
Pozisyonlar Google
Arama İfadeleri - Google
| Konum | İfade etmek | Sayfa | Snippet |
|---|---|---|---|
| 3 | /doc/reference/lates... | ||
| 8 | /doc/api/Init/Data/L... |