Názory k článku
Funkcionální jazyk Lean vyšel ve verzi 4.0.0

Zde oficiální kniha: https://leanprover.github.io/functional_programming_in_lean/

Tvůrce Rustu Graydon Hoare doporučuje Lean 4: https://types.pl/@graydon/111033807456349023