Lean (証明アシスタント)

Calidad:

Lean - demostrador de teoremas. Este lenguaje de programación es el 453º más popular en el ranking mundial de Wikipedia de lenguajes de programación y el 367º más popular lenguajes de programación en Wikipedia en japonés. El artículo "Lean (証明アシスタント)" en Wikipedia en japonés tiene 33.4 puntos por calidad (a 1 de agosto de 2024). El artículo contiene 25 referencias y 23 secciones.

Este artículo tiene la mejor calidad en Wikipedia en chino. 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 japonés:

El 367º más popular en lenguajes de programación en Wikipedia en japonés.

Wikipedia global:

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

En julio de 2024 el artículo "Lean (証明アシスタント)" fue editado por 1 autores en Wikipedia en japonésy fue escrito por 4 autores en todos los idiomas.

Desde la creación del artículo "Lean (証明アシスタント)", , su contenido fue escrito por 7 usuarios registrados de Wikipedia en japonés fue editado por 98 usuarios registrados de Wikipedia en todos los idiomas.

Lean está en el 367º lugar en el ranking local de lenguajes de programación en Wikipedia en japonés y en el 453º lugar en el ranking mundial de lenguajes de programación en todo el tiempo.

El artículo es citado 5 veces en Wikipedia en japonés y es citado 476 veces en todos los idiomas.

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

• Local (japonés): Nº 6909 en junio de 2023
• Global: Nº 28638 en junio de 2024

El rango de popularidad más alto de 2008:

• Local (japonés): Nº 207028 en julio de 2024
• Global: Nº 160905 en julio de 2024

Hay 12 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 agosto de 2024 (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		44.1679
2	inglés (en) Lean (proof assistant)		39.2322
3	japonés (ja) Lean (証明アシスタント)		33.3528
4	alemán (de) Lean (Beweisassistent)		31.898
5	español (es) Lean		27.6817
6	persa (fa) لین (دستیار اثبات)		25.4167
7	ucraniano (uk) Lean		24.9286
8	ruso (ru) Lean		21.4148
9	vietnamita (vi) Lean (trợ lý chứng minh)		13.5515
10	holandés (nl) Lean (bewijsassistent)		10.554

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)		198 539
2	ruso (ru) Lean		7 610
3	francés (fr) Lean (assistant de preuve)		5 505
4	japonés (ja) Lean (証明アシスタント)		5 106
5	alemán (de) Lean (Beweisassistent)		1 729
6	español (es) Lean		808
7	chino (zh) Lean		355
8	ucraniano (uk) Lean		323
9	checo (cs) Lean (programovací jazyk)		251
10	vietnamita (vi) Lean (trợ lý chứng minh)		182

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)		11 293
2	japonés (ja) Lean (証明アシスタント)		654
3	alemán (de) Lean (Beweisassistent)		561
4	ruso (ru) Lean		330
5	chino (zh) Lean		226
6	francés (fr) Lean (assistant de preuve)		163
7	español (es) Lean		110
8	checo (cs) Lean (programovací jazyk)		15
9	holandés (nl) Lean (bewijsassistent)		15
10	vietnamita (vi) Lean (trợ lý chứng minh)		14

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)		53
2	francés (fr) Lean (assistant de preuve)		9
3	alemán (de) Lean (Beweisassistent)		8
4	ruso (ru) Lean		8
5	japonés (ja) Lean (証明アシスタント)		7
6	español (es) Lean		3
7	vietnamita (vi) Lean (trợ lý chứng minh)		3
8	holandés (nl) Lean (bewijsassistent)		2
9	ucraniano (uk) Lean		2
10	checo (cs) Lean (programovací jazyk)		1

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)		1
2	español (es) Lean		1
3	japonés (ja) Lean (証明アシスタント)		1
4	holandés (nl) Lean (bewijsassistent)		1
5	checo (cs) Lean (programovací jazyk)		0
6	alemán (de) Lean (Beweisassistent)		0
7	persa (fa) لین (دستیار اثبات)		0
8	francés (fr) Lean (assistant de preuve)		0
9	ruso (ru) Lean		0
10	ucraniano (uk) Lean		0

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

El 15 de enero de 2025 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: El juego del calamar, Elon Musk, Segunda temporada de El juego del calamar, muertes en 2025, ChatGPT, Nosferatu, Donald Trump, Neil Gaiman, Pete Hegseth, Groenlandia.

En Wikipedia en japonés los artículos más populares de ese día fueron: 影山優佳, 前田佳織里, 中嶋優一, 松来未祐, 切り裂きジャック, 渡邊渚, 中居正広, 竹俣紅, 安堂ホセ, 片瀬那奈.

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 agosto de 2024. Al calcular la popularidad actual y la IA de los artículos, se tuvieron en cuenta los datos de julio de 2024. Para los valores históricos de popularidad y AI WikiRank utilizó datos de 2001 a 2023... Más información