Learning Lean in the Age of Artificial Intelligence
Falha ao colocar no Carrinho.
Tente novamente mais tarde
Falha ao adicionar à Lista de Desejos.
Tente novamente mais tarde
Falha ao remover da Lista de Desejos
Tente novamente mais tarde
Falha ao adicionar à Biblioteca
Tente outra vez
Falha ao seguir podcast
Tente outra vez
Falha ao parar de seguir podcast
Tente outra vez
Learning Lean in the Age of Artificial Intelligence
-
Narrado por:
-
De:
Sobre este áudio
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
O que os ouvintes dizem sobre Learning Lean in the Age of Artificial Intelligence
Nota média dos ouvintes. Apenas ouvintes que tiverem escutado o título podem escrever avaliações.Avaliações - Selecione as abas abaixo para mudar a fonte das avaliações.
Nenhuma revisão disponível