lean-lang.org
Zarejestrowany
Data aktualizacji analizy strony:
2026/02/05 10:09:10
Data ostatniej aktualizacji Whois:
2026/06/19 04:15:15
Stan domeny
Zarejestrowany
Płatne do
05.09.2026
Dostępne od
05.10.2026
×
![Pełnoekranowy zrzut ekranu witryny internetowej]()
lean-lang.org Zrzut ekranu witryny
Wynik SEO
58.22%
85
Wynik osiągnięty
146
Maksymalny wynik
Główne informacje
Tytuł: Lean Programming Language
Opis: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Słowa kluczowe: nieznany
Kodowanie strony:
utf-8
Rozmiar pliku strony: 198 KB
Informacje o serwerze
IP: 75.2.60.5
Lokalizacja: United States,US,37.751,-97.822,America/Chicago
Serwer HTTP: netlify
Kodowanie: utf-8
Lista metatagów
- 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
Linki wewnętrzne
Linki zewnętrzne
Informacje Whois
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
Surowe dane Whois
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
Audyt SEO
Techniczne SEO
✓
Kod odpowiedzi
200
Status 200 OK - strona ładuje się poprawnie.
✓
Kodowanie znaków
Page: utf-8, Header: utf-8
Kodowanie znaków spójne w formacie HTML i nagłówkach.
✓
Rozmiar strony
203652 bytes
Rozmiar strony akceptowalny dla szybkiego ładowania.
!
Zasoby
51 total
Za dużo zasobów. Optymalizuj i łącz pliki, aby uzyskać lepszą wydajność.
✓
Tagi Hreflang
0 hreflang tags
Dodaj tagi hreflang, jeśli masz treści wielojęzyczne.
!
Robots.txt
Missing
Dodaj plik robots.txt, aby kontrolować indeksowanie wyszukiwarek.
!
Sitemap
Not found
Dodaj plik sitemap.xml i odwołaj się do niego w pliku robots.txt.
✓
HTTPS
Yes
Bezpieczne połączenie HTTPS włączone.
!
Kompresja
br
Włącz kompresję gzip lub zstd, aby zmniejszyć rozmiar plików.
✓
Buforowanie
public,max-age=0,must-revalidate
Nagłówki kontroli pamięci podręcznej są prawidłowo ustawione.
✓
Szybkość strony
2.23 ms
Doskonała prędkość ładowania.
SEO na stronie
!
Tytuł
Lean Programming Language
Tytuł za krótki. Rozwiń do 30-60 znaków, aby uzyskać lepsze SEO.
✓
Metaopis
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code. Lenght:127
Dobra długość metaopisu (100-160 znaków).
!
Nagłówek H1
3 found - "Lean in Action"
Używaj tylko jednego nagłówka H1 na stronę. Usuń dodatkowe znaczniki H1.
✓
Liczba słów
1001
Dobra długość treści (zalecane 500–2000 słów).
!
Tag kanoniczny
Dodaj tag kanoniczny, aby zapobiec problemom z duplikacją treści.
✓
Duplikat meta
[]
Nie znaleziono zduplikowanych metatagów.
✓
Słowa kluczowe
Meta słowa kluczowe są opcjonalne (nie są używane przez główne wyszukiwarki).
Treść i UX
✓
Język
en
Atrybut języka ustawiony prawidłowo.
✓
Obrazy
12 total, 0 missing ALT
Wszystkie obrazy mają odpowiedni tekst ALT.
✓
Rzutnia
width=device-width, initial-scale=1
Metatag Viewport poprawnie ustawiony dla urządzeń mobilnych.
!
Otwórz wykres
Missing: og:description
Dodaj brakujące tagi OpenGraph do udostępniania w mediach społecznościowych:og:description
!
Dane strukturalne
0 JSON-LD scripts
Dodaj dane strukturalne (JSON-LD), aby uzyskać fragmenty rozszerzone i lepsze SEO.
Pozycje w Google
Wyszukiwane frazy - Google
| Pozycja | Wyrażenie | Strona | Skrawek |
|---|---|---|---|
| 3 | /doc/reference/lates... | ||
| 8 | /doc/api/Init/Data/L... |