Lean (proof assistant)
[cs] Lean (programovací jazyk)
[de] Lean (Beweisassistent)
[es] Lean
[fa] لین (دستیار اثبات)
[fr] Lean (assistant de preuve)
[ja] Lean (証明アシスタント)
[nl] Lean (bewijsassistent)
[pt] Lean (linguagem de programação)
[ru] Lean
[uk] Lean