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