Lean

Calidad:

Lean - demostrador de teoremas. Este lenguaje de programación es el 271º más popular en el ranking mundial de Wikipedia de lenguajes de programación y el 226º más popular lenguajes de programación en Wikipedia en chino. El artículo “Lean” en Wikipedia en chino tiene 43.6 puntos por calidad (a 1 de julio de 2026). El artículo contiene 19 referencias y 11 secciones.

Este artículo tiene la mejor calidad en Wikipedia en inglés. Además, este artículo es el más popular en esa versión de idioma (chino).

Logros en todo el tiempo:

Wikipedia en chino:

El 226º más popular en lenguajes de programación en Wikipedia en chino.

Wikipedia global:

El 271º más popular en lenguajes de programación.

Desde la creación del artículo “Lean”, su contenido fue escrito por 1 usuarios registrados de Wikipedia en chino fue editado por 162 usuarios registrados de Wikipedia en todos los idiomas.

Lean está en el 226º lugar en el ranking local de lenguajes de programación en Wikipedia en chino y en el 271º lugar en el ranking mundial de lenguajes de programación en todo el tiempo.

El artículo es citado 38 veces en Wikipedia en chino y es citado 529 veces en todos los idiomas.

La clasificación más alta de interés de los autores desde 2001:

• Local (chino): Nº 98078 en junio de 2024
• Global: Nº 28783 en junio de 2024

El rango de popularidad más alto de 2008:

• Local (chino): Nº 57434 en abril de 2026
• Global: Nº 88378 en abril de 2026

Hay 14 versiones lingüísticas de este artículo en la base de datos WikiRank (de las 55 ediciones de idiomas consideradas de Wikipedia).

La evaluación de calidad y popularidad se basó en volcados de Wikipedia del 1 de julio de 2026 (incluido el historial de revisiones y las páginas vistas de años anteriores).

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor calidad.

#	Idioma	Grado de calidad	Puntuación de calidad
1	inglés (en) Lean (proof assistant)		52.9186
2	chino (zh) Lean		43.6374
3	japonés (ja) Lean (証明アシスタント)		40.8613
4	coreano (ko) Lean		37.6596
5	alemán (de) Lean (Beweisassistent)		33.7663
6	persa (fa) لین (دستیار اثبات)		27.1992
7	español (es) Lean		26.725
8	ruso (ru) Lean		25.6903
9	ucraniano (uk) Lean		24.7899
10	francés (fr) Lean (assistant de preuve)		14.9046

La siguiente tabla muestra las versiones de idiomas más populares del artículo.

#	Idioma	Premio de popularidad	Popularidad relativa
1	inglés (en) Lean (proof assistant)		447 227
2	español (es) Lean		44 860
3	japonés (ja) Lean (証明アシスタント)		34 449
4	ruso (ru) Lean		19 910
5	chino (zh) Lean		15 208
6	francés (fr) Lean (assistant de preuve)		14 777
7	alemán (de) Lean (Beweisassistent)		12 891
8	portugués (pt) Lean (linguagem de programação)		1 394
9	coreano (ko) Lean		1 044
10	ucraniano (uk) Lean		931

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor popularidad en el último mes.

#	Idioma	Premio de popularidad	Popularidad relativa
1	inglés (en) Lean (proof assistant)		12 614
2	japonés (ja) Lean (証明アシスタント)		1 744
3	chino (zh) Lean		821
4	francés (fr) Lean (assistant de preuve)		631
5	alemán (de) Lean (Beweisassistent)		569
6	ruso (ru) Lean		550
7	español (es) Lean		200
8	portugués (pt) Lean (linguagem de programação)		124
9	coreano (ko) Lean		65
10	ucraniano (uk) Lean		29

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores.

#	Idioma	Premio del IA	IA relativo
1	inglés (en) Lean (proof assistant)		82
2	alemán (de) Lean (Beweisassistent)		16
3	francés (fr) Lean (assistant de preuve)		14
4	japonés (ja) Lean (証明アシスタント)		13
5	ruso (ru) Lean		9
6	persa (fa) لین (دستیار اثبات)		5
7	holandés (nl) Lean (bewijsassistent)		5
8	vietnamita (vi) Lean (trợ lý chứng minh)		5
9	portugués (pt) Lean (linguagem de programação)		4
10	español (es) Lean		3

La siguiente tabla muestra las versiones de idiomas del artículo con mayor Interés de los Autores en el último mes.

#	Idioma	Premio del IA	IA relativo
1	inglés (en) Lean (proof assistant)		3
2	japonés (ja) Lean (証明アシスタント)		2
3	coreano (ko) Lean		1
4	portugués (pt) Lean (linguagem de programação)		1
5	checo (cs) Lean (programovací jazyk)		0
6	alemán (de) Lean (Beweisassistent)		0
7	español (es) Lean		0
8	persa (fa) لین (دستیار اثبات)		0
9	francés (fr) Lean (assistant de preuve)		0
10	holandés (nl) Lean (bewijsassistent)		0

La siguiente tabla muestra las versiones lingüísticas del artículo con mayor número de citas.

El 1 de julio de 2026 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

En Wikipedia en chino los artículos más populares de ese día fueron: 2026年國際足協世界盃, 金特務：本色回歸, 欠妳的那場婚禮, 非份之罪, 鐵拳教育, 埃尔林·哈兰德, 给阿嬷的情书, 郭文贵, 刚果民主共和国, 楊珍妮.

El proyecto está destinado a la evaluación relativa automática de los artículos en las distintas versiones lingüísticas de Wikipedia. Actualmente, el servicio permite comparar más de 50 millones de artículos de Wikipedia en 55 idiomas. Los niveles de calidad de los artículos se basan en volcados de Wikipedia de julio de 2026. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de junio de 2026. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2026... Más información