Las lecturas compartidas en Mastodon el 26 de mayo de 2024 son

• Lecturas compartidas el 25 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #LLMs #MachineLearning
• Libro "Calculemus (Demostraciones con Lean4)" (versión 25-mayo-24). #ITP #Lean4 #Math
• Generating executable Go code from the Isabelle theorem prover. ~ Matthias Stübinger. #ITP #IsabelleHOL #Go