Zulip Chat Archive

Stream: general

Topic: repo


view this post on Zulip Nam (Apr 10 2020 at 03:26):

where can i find repo of introduction_to_lean? just want to fix a trivial typo ;p.

view this post on Zulip Bryan Gin-ge Chen (Apr 10 2020 at 03:28):

What link are you looking at?

view this post on Zulip Nam (Apr 10 2020 at 03:29):

https://leanprover.github.io/introduction_to_lean/

view this post on Zulip Bryan Gin-ge Chen (Apr 10 2020 at 03:34):

My best guess is https://github.com/avigad/introduction_to_lean but note that that tutorial is very out of date, so it's unlikely to be updated. You'd be better off looking at the resources at the community-maintained "Lean links" here.


Last updated: May 12 2021 at 03:23 UTC