Lean (증명 보조기)

Esta linguagem de programação é a 358º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 301º mais popular linguagens de programação na Wikipédia em coreano. O artigo “Lean (증명 보조기)” na Wikipédia em coreano tem 37 pontos para qualidade (em 1º de julho de 2025). O artigo contém 28 referências e 11 seções.

Este artigo tem a melhor qualidade na Wikipédia em chinês. No entanto, a versão em idioma mais popular deste artigo é o inglês.

Em junho de 2025 o artigo “Lean (증명 보조기)” foi editado por 2 autores na Wikipédia em coreano e escrito por 9 autores em todos os idiomas.

Desde a criação do artigo “Lean (증명 보조기)”, seu conteúdo foi escrito por 1 usuários cadastrados na Wikipédia em coreano e editado por 131 usuários registrados da Wikipédia em todos os idiomas.

O artigo “Lean (linguagem de programação)” está em 301º lugar no ranking local de linguagens de programação na Wikipédia em coreano e está em 358º lugar no ranking global de linguagens de programação em todo o tempo.

O artigo é citado 1 vezes na Wikipédia em coreano e citado 493 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (coreano): Nº 12499 em junho de 2025
• Global: Nº 28697 em junho de 2024

A classificação de popularidade mais alta de 2008:

• Local (coreano): Nº 237628 em junho de 2025
• Global: Nº 114703 em junho de 2025

Existem versões deste artigo em 14 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de julho de 2025 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	chinês (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ão (de) Lean (Beweisassistent)		33.1162
6	persa (fa) لین (دستیار اثبات)		27.3846
7	espanhol (es) Lean		27.0661
8	ucraniano (uk) Lean		24.9345
9	russo (ru) Lean		21.3667
10	vietnamita (vi) Lean (trợ lý chứng minh)		13.4232

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Lean (증명 보조기)" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Lean (proof assistant)		296 974
2	japonês (ja) Lean (証明アシスタント)		12 226
3	russo (ru) Lean		10 798
4	espanhol (es) Lean		8 844
5	francês (fr) Lean (assistant de preuve)		8 560
6	chinês (zh) Lean		6 592
7	alemão (de) Lean (Beweisassistent)		5 673
8	ucraniano (uk) Lean		592
9	português (pt) Lean (linguagem de programação)		456
10	tcheco (cs) Lean (programovací jazyk)		435

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Lean (증명 보조기)" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Lean (proof assistant)		13 505
2	japonês (ja) Lean (証明アシスタント)		1 112
3	chinês (zh) Lean		933
4	alemão (de) Lean (Beweisassistent)		463
5	francês (fr) Lean (assistant de preuve)		372
6	russo (ru) Lean		348
7	espanhol (es) Lean		158
8	português (pt) Lean (linguagem de programação)		84
9	tcheco (cs) Lean (programovací jazyk)		38
10	coreano (ko) Lean (증명 보조기)		32

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Lean (증명 보조기)" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Lean (proof assistant)		66
2	alemão (de) Lean (Beweisassistent)		13
3	francês (fr) Lean (assistant de preuve)		12
4	japonês (ja) Lean (証明アシスタント)		8
5	russo (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	espanhol (es) Lean		3
10	português (pt) Lean (linguagem de programação)		3

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Lean (증명 보조기)" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Lean (proof assistant)		4
2	coreano (ko) Lean (증명 보조기)		2
3	alemão (de) Lean (Beweisassistent)		1
4	japonês (ja) Lean (証明アシスタント)		1
5	chinês (zh) Lean		1
6	tcheco (cs) Lean (programovací jazyk)		0
7	espanhol (es) Lean		0
8	persa (fa) لین (دستیار اثبات)		0
9	francês (fr) Lean (assistant de preuve)		0
10	holandês (nl) Lean (bewijsassistent)		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Lean (증명 보조기)" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Lean (proof assistant)		350
2	russo (ru) Lean		76
3	chinês (zh) Lean		36
4	francês (fr) Lean (assistant de preuve)		8
5	alemão (de) Lean (Beweisassistent)		5
6	japonês (ja) Lean (証明アシスタント)		5
7	tcheco (cs) Lean (programovací jazyk)		4
8	espanhol (es) Lean		4
9	ucraniano (uk) Lean		2
10	coreano (ko) Lean (증명 보조기)		1

Mais...

#	Idioma	Valor
cs	tcheco Lean (programovací jazyk)
de	alemão Lean (Beweisassistent)
en	inglês Lean (proof assistant)
es	espanhol Lean
fa	persa لین (دستیار اثبات)
fr	francês Lean (assistant de preuve)
ja	japonês Lean (証明アシスタント)
ko	coreano Lean (증명 보조기)
nl	holandês Lean (bewijsassistent)
pt	português Lean (linguagem de programação)
ru	russo Lean
uk	ucraniano Lean
vi	vietnamita Lean (trợ lý chứng minh)
zh	chinês Lean

Melhor Posição

coreano: Nº 237628 06.2025

Global: Nº 114703 06.2025

Melhor Posição

coreano: Nº 12499 06.2025

Global: Nº 28697 06.2024

Em 12 de agosto de 2025, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, mortes em 2025, Taylor Swift, Miguel Uribe, Liga dos Campeões da UEFA de 2025–26.

Na Wikipédia em coreano, os artigos mais populares naquele dia foram: 문화방송, 김건희, 한국방송공사, 한국교육방송공사, 케이팝 데몬 헌터스, 윤미향, 유경촌, 노란봉투법, 윤석열, 강미정.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações