Lean

Rareté : Commune

La rareté la plus courante : la plupart des articles de Wikipédia deviennent des Communes.

La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.

Ce qu’il faut savoir

Classe

Invention

Domaine

Sciences et techniques

Coût en Savoir

2

Dans les collections

Personne ne l’a encore tirée.

Ce qu’en dit Wikipédia

Lean est un assistant de preuve et un langage de programmation. Il repose sur le principe de calcul des constructions avec types inductifs (en).

Extrait de l’article « Lean (assistant de preuve) » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia

Image : Lean, Public domain, via Wikimedia Commons.