Lean

Calidad:

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

En esta versión de idioma de Wikipedia el artículo tiene la mejor calidad. Sin embargo, la versión lingüística más popular de este artículo es el inglés.

Logros en todo el tiempo:

Wikipedia en chino:

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

Wikipedia global:

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

En junio de 2025 el artículo “Lean” fue editado por 1 autores en Wikipedia en chinoy fue escrito por 9 autores en todos los idiomas.

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

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

El artículo es citado 36 veces en Wikipedia en chino y es citado 493 veces en todos los idiomas.

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

• Local (chino): Nº 98239 en junio de 2024
• Global: Nº 28697 en junio de 2024

El rango de popularidad más alto de 2008:

• Local (chino): Nº 74468 en junio de 2025
• Global: Nº 114703 en junio de 2025

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 2025 (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	chino (zh) Lean		43.701
2	inglés (en) Lean (proof assistant)		41.432
3	japonés (ja) Lean (証明アシスタント)		40.2582
4	coreano (ko) Lean (증명 보조기)		36.9689
5	alemán (de) Lean (Beweisassistent)		33.1162
6	persa (fa) لین (دستیار اثبات)		27.3846
7	español (es) Lean		27.0661
8	ucraniano (uk) Lean		24.9345
9	ruso (ru) Lean		21.3667
10	vietnamita (vi) Lean (trợ lý chứng minh)		13.4232

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Lean (proof assistant)		296 974
2	japonés (ja) Lean (証明アシスタント)		12 226
3	ruso (ru) Lean		10 798
4	español (es) Lean		8 844
5	francés (fr) Lean (assistant de preuve)		8 560
6	chino (zh) Lean		6 592
7	alemán (de) Lean (Beweisassistent)		5 673
8	ucraniano (uk) Lean		592
9	portugués (pt) Lean (linguagem de programação)		456
10	checo (cs) Lean (programovací jazyk)		435

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

#	Idioma	Premio de popularidad	Relative popularity
1	inglés (en) Lean (proof assistant)		13 505
2	japonés (ja) Lean (証明アシスタント)		1 112
3	chino (zh) Lean		933
4	alemán (de) Lean (Beweisassistent)		463
5	francés (fr) Lean (assistant de preuve)		372
6	ruso (ru) Lean		348
7	español (es) Lean		158
8	portugués (pt) Lean (linguagem de programação)		84
9	checo (cs) Lean (programovací jazyk)		38
10	coreano (ko) Lean (증명 보조기)		32

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)		66
2	alemán (de) Lean (Beweisassistent)		13
3	francés (fr) Lean (assistant de preuve)		12
4	japonés (ja) Lean (証明アシスタント)		8
5	ruso (ru) Lean		8
6	persa (fa) لین (دستیار اثبات)		4
7	holandés (nl) Lean (bewijsassistent)		4
8	vietnamita (vi) Lean (trợ lý chứng minh)		4
9	español (es) Lean		3
10	portugués (pt) Lean (linguagem de programação)		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)		4
2	coreano (ko) Lean (증명 보조기)		2
3	alemán (de) Lean (Beweisassistent)		1
4	japonés (ja) Lean (証明アシスタント)		1
5	chino (zh) Lean		1
6	checo (cs) Lean (programovací jazyk)		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 16 de marzo de 2026 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: 98.ª edición de los Premios Óscar, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Una batalla tras otra, Amy Madigan, Hamnet, Timothée Chalamet.

En Wikipedia en chino los artículos más populares de ese día fueron: 逐玉, 2026年世界棒球經典賽, 一戰再戰, 第98屆奧斯卡金像獎, 臥底嬌娃, 李海銅, 张凌赫, 世界棒球經典賽, 罪人 (2025年電影), 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 44 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 2025. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de junio de 2025. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2025... Más información