Zulip Chat Archive

Stream: new members

Topic: Guide to learn lean


view this post on Zulip Naveen M J (Jan 18 2021 at 13:37):

Is there a book or video lectures to learn lean?

view this post on Zulip Kevin Buzzard (Jan 18 2021 at 13:37):

What's your background?

view this post on Zulip Rob Lewis (Jan 18 2021 at 13:37):

https://leanprover-community.github.io/learn.html

view this post on Zulip Naveen M J (Jan 18 2021 at 13:38):

Electrical and electronics engineering @Kevin Buzzard

view this post on Zulip Kevin Buzzard (Jan 18 2021 at 13:39):

Theorem Proving In Lean was what many of us read. https://leanprover.github.io/theorem_proving_in_lean/

view this post on Zulip Naveen M J (Jan 18 2021 at 13:42):

Rob Lewis
@Kevin Buzzard Thanks


Last updated: May 10 2021 at 00:31 UTC