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 255º mais popular linguagens de programação na Wikipédia em ucraniano. O artigo “Lean” na Wikipédia em ucraniano tem 24.8 pontos para qualidade (em 1º de julho de 2026). O artigo contém 6 referências e 2 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 (ucraniano).

Desde a criação do artigo “Lean”, seu conteúdo foi escrito por 3 usuários cadastrados na Wikipédia em ucraniano e editado por 162 usuários registrados da Wikipédia em todos os idiomas.

O artigo “Lean” está em 255º lugar no ranking local de linguagens de programação na Wikipédia em ucraniano 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 ucraniano e citado 529 vezes em todos os idiomas.

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

• Local (ucraniano): Nº 10632 em outubro de 2023
• Global: Nº 28783 em junho de 2024

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

• Local (ucraniano): Nº 94127 em janeiro de 2008
• 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

ucraniano: Nº 94127 01.2008

Global: Nº 88378 04.2026

Melhor Posição

ucraniano: Nº 10632 10.2023

Global: Nº 28783 06.2024

Em 1 de julho de 2026, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

Na Wikipédia em ucraniano, os artigos mais populares naquele dia foram: Янченко Микола Олександрович, Єрмолаєв Вадим Володимирович, Чемпіонат світу з футболу 2026, Циркон (ракета), Радіо Свобода, Ерлінг Голанн, Демократична Республіка Конго, Найкращі бомбардири чемпіонату світу з футболу, Волинська трагедія, Ігнатьєв Андрій Михайлович.

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