Website beoordeling lean-lang.org
Lean Programming Language
Gegenereerd op Maart 11 2026 01:15 AM
Oude statistieken? UPDATE !
De score is 55/100
SEO Content
Title
Lean Programming Language
Lengte : 25
Perfect, uw title tag bevat tussen de 10 en 70 karakters.
Description
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Lengte : 127
Perfect, uw meta description bevat tussen de 70 en 160 karakters.
Keywords
Erg slecht. We hebben geen meta keywords gevonden in uw website. Gebruik deze gratis online meta tags generator om keywords te genereren.
Og Meta Properties
Goed, uw page maakt gebruik van Og Properties.
| Property | Content |
|---|---|
| title | Lean Programming Language |
| type | article |
| image | https://lean-lang.org/static/png/banner.png |
| url | https://lean-lang.org |
| image:alt | Lean Programming Language |
| site_name | Lean Language |
Headings
| H1 | H2 | H3 | H4 | H5 | H6 |
| 3 | 9 | 8 | 0 | 0 | 0 |
- [H1] Lean in Action
- [H1] Sponsors and Partners
- [H1] Get Started with Lean
- [H2] Cedar
- [H2] Mathlib
- [H2] Aeneas
- [H2] Fermat's Last Theorem
- [H2] Terence Tao
- [H2] Byron Cook
- [H2] Pushmeet Kohli
- [H2] Tudor Achim
- [H2] Emina Torlak
- [H3] Trustworthy
- [H3] Powerful
- [H3] Extensible
- [H3] Get Started
- [H3] Documentation
- [H3] Resources
- [H3] FRO
- [H3] Policies
Afbeeldingen
We vonden 13 afbeeldingen in de pagina.
Goed, de meeste of alle afbeeldingen hebben een alt tekst
Text/HTML Ratio
Ratio : 9%
De ratio van text tot HTML code is below 15 procent, dit betekent dat uw pagina waarschijnlijk meer tekst nodig heeft.
Flash
Perfect, geen Flash content gevonden in uw website.
Iframe
Perfect, er zijn geen Iframes in uw website aangetroffen.
SEO Links
Herschreven URL
Perfect. Uw links zien er vriendelijk uit!
Underscores in de URLs
Perfect! Geen underscores gevonden in uw URLs.
In-page links
We vonden een totaal van 22 links inclusie 0 link(s) naar bestanden
| Ankertekst | Type | samenstelling |
|---|---|---|
| Install | Intern | doFollow |
| Learn | Intern | doFollow |
| Community | Intern | doFollow |
| Use Cases | Intern | doFollow |
| FRO | Intern | doFollow |
| Playground | Intern | doFollow |
| Reservoir | Intern | doFollow |
| About | Intern | doFollow |
| Team | Intern | doFollow |
| Roadmap | Intern | doFollow |
| Contact | Intern | doFollow |
| Language reference | Intern | doFollow |
| Lean API | Intern | doFollow |
| FAQ | Intern | doFollow |
| Cite Lean | Intern | doFollow |
| VS Code extension | Extern | doFollow |
| Loogle | Intern | doFollow |
| Mathlib | Extern | doFollow |
| Roadmap | Intern | doFollow |
| Privacy Policy | Intern | doFollow |
| Terms of Use | Intern | doFollow |
| Lean Trademark Policy | Intern | doFollow |
SEO Keywords
Keywords Cloud
verification leans language cedar lean mathematics prime factorial theorem grind
Keywords Consistentie
| Keyword | Content | Title | Keywords | Description | Headings |
|---|---|---|---|---|---|
| lean | 23 |  |
 |
|
|
| grind | 13 | |
|
|
|
| leans | 9 | |
|
|
|
| mathematics | 8 | |
|
|
|
| prime | 8 | |
|
|
|
Bruikbaarheid
Url
Domein : lean-lang.org
Lengte : 13
Favicon
Goed, uw website heeft een favicon.
Printbaarheid
Jammer. We vonden geen Print-Vriendelijke CSS.
Taal
Goed. Uw ingestelde taal is en.
Dublin Core
Deze pagina maakt geen gebruik van Dublin Core.
Document
Doctype
HTML 5
Encoding
Perfect. Uw ingestelde Charset is UTF-8.
W3C Validiteit
Fouten : 0
Waarschuwingen : 0
E-mail Privacy
Geweldig er is geen e-mail adres gevonden als platte tekst!
Niet ondersteunde HTML
Geweldig! We hebben geen niet meer ondersteunde HTMl tags gevonden in uw HTML.
Speed Tips
|
Geweldig, uw website heeft geen tabellen in een tabel. |
|
Perfect. Er zijn geen inline CSS style gevonden in uw HTML! |
|
Jammer, uw website heeft teveel CSS bestanden (meer dan 4). |
|
Jammer, uw website heeft teveel JS bestanden (meer dan 6). |
|
Perfect, uw website haalt voordeel uit gzip. |
Mobile
Mobile Optimization
|
Apple Icon |
|
Meta Viewport Tag |
|
Flash content |
Optimalisatie
XML Sitemap
Ontbrekend
Uw website heeft geen XML sitemap- dit kan problematisch zijn.
Een sitemap vermeld url's die beschikbaar zijn voor crawlen en kan extra informatie bevatten zoals uw laatste site-updates, frequentie van wijzigingen en het belang van de url's. Dit laat zoekmachines toe om de site intelligenter te doorzoeken.
Robots.txt
https://lean-lang.org/robots.txt
Geweldig uw website heeft een robots.txt bestand.
Analytics
Ontbrekend
We hadden niet op te sporen van een analytics tool op deze website geplaatst.
Web Analytics laat u toe de bezoekersactiviteit op uw website te meten. U zou minstens 1 Analytics tool geïnstalleerd moeten hebben en een extra tool voor de bevestiging van de resultaten.
PageSpeed Insights
Device
Categorieën
Free SEO Testing Tool
Website review is een gratis tool waarmee u eenvoudig uw website kunt analyseren