repo

Stream: general

[Nam]

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

[Bryan Gin-ge Chen]

What link are you looking at?

[Nam]

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

[Bryan Gin-ge Chen]

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.