Daniyal Ahmad Khan

Stream: new members

[Daniyal Ahmad Khan]

#lean4 dev Hello! I'm new here. Want to get the basics of leanlang. I have some problems for which I have to create the solutions in lean4. Can anyone help me with that...?

[Shreyas Srinivas]

Daniyal Ahmad Khan said:

#lean4 dev Hello! I'm new here. Want to get the basics of leanlang. I have some problems for which I have to create the solutions in lean4. Can anyone help me with that...?

This is the wrong channel to ask this question. Please ask your question in the #new members channel in a fresh topic. And further the question needs to be more specific. If you are looking for learning resources, the lean-lang.org website has a list of books

[Notification Bot]

2 messages were moved here from #lean4 > mutation without ref counter check by Eric Wieser.