Zulip Chat Archive

Stream: general

Topic: examples

Ibrahim Fadel (Apr 12 2022 at 04:56):

Hi, can anyone point me to a resource that has good beginner lean examples with solutions?

Johan Commelin (Apr 12 2022 at 05:14):

@Ibrahim Fadel See https://leanprover-community.github.io/learn.html . Several of those resources come with solutions.

Ibrahim Fadel (Apr 12 2022 at 06:03):

Johan Commelin said:

Ibrahim Fadel See https://leanprover-community.github.io/learn.html . Several of those resources come with solutions.

thank you, i'll check this out :)

Last updated: Dec 20 2023 at 11:08 UTC