Lean

Lean - software para demonstração interativa e automatizada de teoremas. Esta linguagem de programação é a 271º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 241º mais popular linguagens de programação na Wikipédia em coreano. O artigo “Lean” na Wikipédia em coreano tem 37.7 pontos para qualidade (em 1º de julho de 2026). O artigo contém 28 referências e 11 seções.

Este artigo tem a melhor qualidade na Wikipédia em inglês. Além disso, este artigo é o mais popular nessa versão nesse idioma (coreano).

Em junho de 2026 o artigo “Lean” foi editado por 1 autores na Wikipédia em coreano e escrito por 7 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 162 usuários registrados da Wikipédia em todos os idiomas.

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

O artigo é citado 3 vezes na Wikipédia em coreano e citado 529 vezes em todos os idiomas.

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

• Local (coreano): Nº 12426 em junho de 2025
• Global: Nº 28783 em junho de 2024

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

• Local (coreano): Nº 75180 em fevereiro de 2026
• Global: Nº 88378 em abril de 2026

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 2026 (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	inglês (en) Lean (proof assistant)		52.9186
2	chinês (zh) Lean		43.6374
3	japonês (ja) Lean (証明アシスタント)		40.8613
4	coreano (ko) Lean		37.6596
5	alemão (de) Lean (Beweisassistent)		33.7663
6	persa (fa) لین (دستیار اثبات)		27.1992
7	espanhol (es) Lean		26.725
8	russo (ru) Lean		25.6903
9	ucraniano (uk) Lean		24.7899
10	francês (fr) Lean (assistant de preuve)		14.9046

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)		447 227
2	espanhol (es) Lean		44 860
3	japonês (ja) Lean (証明アシスタント)		34 449
4	russo (ru) Lean		19 910
5	chinês (zh) Lean		15 208
6	francês (fr) Lean (assistant de preuve)		14 777
7	alemão (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

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 2026

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Lean (proof assistant)		12 614
2	japonês (ja) Lean (証明アシスタント)		1 744
3	chinês (zh) Lean		821
4	francês (fr) Lean (assistant de preuve)		631
5	alemão (de) Lean (Beweisassistent)		569
6	russo (ru) Lean		550
7	espanhol (es) Lean		200
8	português (pt) Lean (linguagem de programação)		124
9	coreano (ko) Lean		65
10	ucraniano (uk) Lean		29

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)		82
2	alemão (de) Lean (Beweisassistent)		16
3	francês (fr) Lean (assistant de preuve)		14
4	japonês (ja) Lean (証明アシスタント)		13
5	russo (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	espanhol (es) Lean		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 2026

#	Idioma	Prêmio de IA	IA relativa
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	tcheco (cs) Lean (programovací jazyk)		0
6	alemão (de) Lean (Beweisassistent)		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)		360
2	russo (ru) Lean		79
3	chinês (zh) Lean		38
4	japonês (ja) Lean (証明アシスタント)		12
5	francês (fr) Lean (assistant de preuve)		10
6	alemão (de) Lean (Beweisassistent)		6
7	tcheco (cs) Lean (programovací jazyk)		5
8	espanhol (es) Lean		5
9	persa (fa) لین (دستیار اثبات)		3
10	coreano (ko) Lean		3

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º 75180 02.2026

Global: Nº 88378 04.2026

Melhor Posição

coreano: Nº 12426 06.2025

Global: Nº 28783 06.2024

Em 16 de março de 2026, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Oscar 2026, Michael B. Jordan, Pecadores, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Batalha Atrás de Batalha, Amy Madigan, Hamnet, Timothée Chalamet.

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 50 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 2026. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2026. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2026... Mais Informações