Lean (proof assistant)

Esta linguagem de programação é a 358º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 316º mais popular linguagens de programação na Wikipédia em inglês. O artigo "Lean (proof assistant)" na Wikipédia em inglês tem 41.4 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, este artigo é o mais popular na versão em inglês version.

Em junho de 2025 o artigo "Lean (proof assistant)" foi editado por 4 autores na Wikipédia em inglês e escrito por 9 autores em todos os idiomas.

Desde a criação do artigo "Lean (proof assistant)", seu conteúdo foi escrito por 66 usuários cadastrados na Wikipédia em inglês e editado por 131 usuários registrados da Wikipédia em todos os idiomas.

O artigo "Lean (linguagem de programação)" está em 316º lugar no ranking local de linguagens de programação na Wikipédia em inglês e está em 358º lugar no ranking global de linguagens de programação em todo o tempo.

O artigo é citado 350 vezes na Wikipédia em inglês e citado 493 vezes em todos os idiomas.

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

• Local (inglês): Nº 18174 em outubro de 2023
• Global: Nº 28697 em junho de 2024

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

• Local (inglês): Nº 82170 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 (proof assistant)" 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 (proof assistant)" 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 (proof assistant)" 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 (proof assistant)" 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 (proof assistant)" 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

inglês: Nº 82170 06.2025

Global: Nº 114703 06.2025

Melhor Posição

inglês: Nº 18174 10.2023

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 inglês, os artigos mais populares naquele dia foram: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

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