ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Learning Lean in the Age of Artificial Intelligence"
Episode Synopsis
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
More episodes of the podcast Professor Adolfo Neto
Elixir Curitiba 2025
22/10/2025
Lean FRO Year 3 Roadmap
05/08/2025
In God we trust