Zulip Chat Archive

Stream: new members

Topic: beginner question


Omar Shehab (Mar 20 2024 at 11:29):

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 (Mar 20 2024 at 11:30):

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

Notification Bot (Mar 20 2024 at 11:31):

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

Kim Morrison (Mar 20 2024 at 11:31):

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!


Last updated: May 02 2025 at 03:31 UTC