First, go to https://lean-lang.org/functional_programming_in_lean/ and read the book.

Then, open https://live.lean-lang.org/ and try Lean.