Linguagem de programação Lean 4
