where can i find repo of introduction_to_lean? just want to fix a trivial typo ;p.
Bryan Gin-ge Chen (Apr 10 2020 at 03:28):
What link are you looking at?
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