beginner question

Stream: new members

[Omar Shehab]

Hey guys I just started learning lean4 and I don't have much experience with it and I am trying to use it to prove two simple theorems but I am getting some errors can anybody help with that

[Kim Morrison]

@Omar Shehab I'm going to move your message to the new members stream, and give you some pointers there.

[Notification Bot]

2 messages were moved here from #lean4 > vscode server: selection + _ by Scott Morrison.

[Kim Morrison]

To get help, the best way is to post some Lean code to show us where you are up to. It helps if you read #backticks and #mwe!