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

• Lecturas compartidas el 2 de junio de 2024. #ITP #Lean4 #FunctionalProgramming #Haskell #TypeTheory #AI
• Libro "Calculemus (Demostraciones con Lean4)" (versión 2-junio-24). #ITP #Lean4 #Math