Learning Lean in the Age of Artificial Intelligence

https://is1-ssl.mzstatic.com/image/thumb/Podcasts116/v4/3b/b6/04/3bb60466-5419-bd1f-3a53-de7703de1011/mza_12020101989982820478.jpg/600x600bb.jpg

Professor Adolfo Neto

Rede Emílias de Podcasts

78 episodes

2 weeks ago

I am Adolfo Neto, a professor at UTFPR Curitiba. In this podcast, I interview professionals from the field of computing and related areas. My goal is to better understand how they became interested in their current profession, what their daily lives are like, and what their motivations, difficulties, and challenges are.

Technology

RSS

All content for Professor Adolfo Neto is the property of Rede Emílias de Podcasts and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_episode/2743429/2743429-1743776804485-dc8b1ed5c5614.jpg

Learning Lean in the Age of Artificial Intelligence

Professor Adolfo Neto

6 minutes 7 seconds

7 months ago

Learning Lean in the Age of Artificial Intelligence

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/adolfont https://github.com/adolfont/learning-lean https://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