Las lecturas compartidas en Mastodon el 9 de junio de 2024 son

• Lecturas compartidas el 8 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #Autoformalization #LLMs
• Libro "Calculemus (Demostraciones con Lean4)" (versión 8-junio-24). #ITP #Lean4 #Math
• AI will become mathematicians’ ‘co-pilot’ (Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics). ~ Christoph Drösser. #AI #ITP #Lean4 #Math