Learning Lean in the Age of Artificial Intelligence
Apr 04, 2025•6 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
I didn't mention it in the video, but I've already used ChatGPT to ask questions about Lean, and it worked. I had to specify that it was Lean 4 because a significant portion of the material available online is about Lean 3, which is quite different.Links:https://github.com/adolfonthttps://github.com/adolfont/learning-leanhttps://lean-lang.org/https://lean-lang.org/functional_programming_in_lean/title.htmlType Theory for All with Leo de Mourahttps://www.typetheoryforall.com/episodes/z3-and-lean-the-spiritual-journey
For the best experience, listen in Metacast app for iOS or Android