Zulip Chat Archive

Stream: new members

Topic: Elham Mazaheri

Elham Mazaheri (Sep 13 2021 at 08:20):

please help me.I don't know how use Lean for prove a theorem.
Thanks :heart_eyes:

Johan Commelin (Sep 13 2021 at 08:24):

@Elham Mazaheri Welcome! Please ask your questions in a new thread in #new members .

Kevin Buzzard (Sep 13 2021 at 08:24):

And please make it more precise!

Notification Bot (Sep 13 2021 at 08:24):

This topic was moved here from #maths > subfields by Johan Commelin

Johan Commelin (Sep 13 2021 at 08:25):

@Elham Mazaheri I've moved this to a new thread for you

Elham Mazaheri (Sep 13 2021 at 08:25):

please help me.I don't know how to use Lean.

Johan Commelin (Sep 13 2021 at 08:26):

@Elham Mazaheri Have you seen https://leanprover-community.github.io/learn.html ?

Johan Commelin (Sep 13 2021 at 08:26):

Or http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/

Yaël Dillies (Sep 13 2021 at 08:27):

Have you tried the Natural Number Game? That's like the way to start

Last updated: Dec 20 2023 at 11:08 UTC