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

• Lecturas compartidas el 11 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #ATP #TPTP #FunctionalProgramming #Haskell #OCaml
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones con inversa por la derecha son suprayectivas". #ITP #Lean4 #IsabelleHOL #Math
• Libro "Piensa en Haskell y en Python" (versión del 12-jun-24). #Haskell #Python #Matemáticas #Algorítmica
• El mes de mayo en Exercitium (Ejercicios con Haskell y Python). #Haskell #Python #Matemáticas #Algorítmica
• Formally verified approximate policy iteration. ~ Maximilian Schäffeler, Mohammad Abdulaziz. #ITP #IsabelleHOL #Math