Lean (proof assistant)

Calidad:

Lean - demostrador de teoremas. El artículo "Lean (proof assistant)" en Wikipedia en inglés tiene 33 puntos por calidad (a 1 de noviembre de 2023). El artículo contiene 12 referencias y 9 secciones.

En esta versión de idioma de Wikipedia el artículo tiene la mejor calidad. Además, este artículo es el más popular en esa versión de idioma.

En octubre de 2023 el artículo "Lean (proof assistant)" fue editado por 8 autores en Wikipedia en inglésy fue escrito por 10 autores en todos los idiomas.

Desde la creación del artículo "Lean (proof assistant)", , su contenido fue escrito por 39 usuarios registrados de Wikipedia en inglés fue editado por 64 usuarios registrados de Wikipedia en todos los idiomas.

El artículo es citado 340 veces en Wikipedia en inglés y es citado 426 veces en todos los idiomas.

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

• Local (inglés): Nº 18174 en octubre de 2023
• Global: Nº 58562 en octubre de 2023

El rango de popularidad más alto de 2008:

• Local (inglés): Nº 151373 en octubre de 2023
• Global: Nº 246309 en octubre de 2023

Hay 7 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 noviembre de 2023 (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)		33.0469
2	ucraniano (uk) Lean		24.9066
3	ruso (ru) Lean		21.3277
4	japonés (ja) Lean (証明アシスタント)		14.0086
5	vietnamita (vi) Lean (trợ lý chứng minh)		13.6153
6	francés (fr) Lean (assistant de preuve)		10.6629
7	checo (cs) Lean (programovací jazyk)		0.2887

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)		133 587
2	ruso (ru) Lean		6 219
3	francés (fr) Lean (assistant de preuve)		4 088
4	japonés (ja) Lean (証明アシスタント)		1 273
5	ucraniano (uk) Lean		196
6	checo (cs) Lean (programovací jazyk)		172
7	vietnamita (vi) Lean (trợ lý chứng minh)		104

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)		8 354
2	japonés (ja) Lean (証明アシスタント)		328
3	francés (fr) Lean (assistant de preuve)		250
4	ruso (ru) Lean		145
5	ucraniano (uk) Lean		59
6	checo (cs) Lean (programovací jazyk)		21
7	vietnamita (vi) Lean (trợ lý chứng minh)		6

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)		39
2	francés (fr) Lean (assistant de preuve)		8
3	ruso (ru) Lean		8
4	japonés (ja) Lean (証明アシスタント)		3
5	vietnamita (vi) Lean (trợ lý chứng minh)		3
6	ucraniano (uk) Lean		2
7	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)		8
2	ucraniano (uk) Lean		2
3	checo (cs) Lean (programovací jazyk)		0
4	francés (fr) Lean (assistant de preuve)		0
5	japonés (ja) Lean (証明アシスタント)		0
6	ruso (ru) Lean		0
7	vietnamita (vi) Lean (trợ lý chứng minh)		0

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

El 14 de julio de 2024 en Wikipedia multilingüe, los internautas leen con mayor frecuencia artículos sobre los siguientes temas: Donald Trump, Eurocopa de Naciones, Carlos Alcaraz, Lamine Yamal, Shannen Doherty, Nico Williams, Eurocopa 2024, selección de fútbol de España, Novak Djokovic, selección de fútbol de Inglaterra.

En Wikipedia en inglés los artículos más populares de ese día fueron: Shannen Doherty, Carlos Alcaraz, List of United States presidential assassination attempts and plots, Attempted assassination of Donald Trump, Donald Trump, Richard Simmons, Lamine Yamal, Novak Djokovic, Nico Williams, UEFA European Championship.

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