Zulip Chat Archive

Stream: new members

Topic: Guide to learn lean

Naveen M J (Jan 18 2021 at 13:37):

Is there a book or video lectures to learn lean?

Kevin Buzzard (Jan 18 2021 at 13:37):

What's your background?

Rob Lewis (Jan 18 2021 at 13:37):

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

Naveen M J (Jan 18 2021 at 13:38):

Electrical and electronics engineering @Kevin Buzzard

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/

Naveen M J (Jan 18 2021 at 13:42):

Rob Lewis
@Kevin Buzzard Thanks

Last updated: Dec 20 2023 at 11:08 UTC