I use lean first time.

Stream: lean4

[mattun]

I downloaded Lean 4. Can I make some problems and solve them? please teach me how to make a problem if I can do that.
help.

[Arthur Paulino]

Are you a mathematician or a programmer?

[James Gallicchio]

The right place to start is probably either with Functional Programming in Lean4 or Theorem Proving in Lean4 depending on your background.