Lean

Esta linguagem de programação é a 358º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 399º mais popular linguagens de programação na Wikipédia em russo. O artigo “Lean” na Wikipédia em russo tem 21.4 pontos para qualidade (em 1º de julho de 2025). O artigo contém 6 referências e 5 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.

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

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

O artigo é citado 76 vezes na Wikipédia em russo e citado 493 vezes em todos os idiomas.

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

• Local (russo): Nº 6920 em setembro de 2022
• Global: Nº 28697 em junho de 2024

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

• Local (russo): Nº 108367 em novembro de 2021
• 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

russo: Nº 108367 11.2021

Global: Nº 114703 06.2025

Melhor Posição

russo: Nº 6920 09.2022

Global: Nº 28697 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 russo, os artigos mais populares naquele dia foram: Господин Никто против Путина, Битва за битвой, Оскар (кинопремия, 2026), Андрей Юрьевич Боголюбский, Грешники (фильм, 2025), Пенн, Шон, Джордан, Майкл Бакари, Чекалина, Валерия Валерьевна, Бехтерева, Наталья Петровна, Князь Андрей.

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