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

• Lecturas compartidas el 4 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #AI
• Libro "Calculemus (Demostraciones con Lean4)" (versión 4-mayo-24). #ITP #LeanProver #Lean4 #Matemáticas
• Verification and refinement of natural language explanations through LLM-symbolic theorem proving. ~ Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas. #AI #LLMs #ITP #IsabelleHOL