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

• Lecturas compartidas el 27 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #Autoformalisation #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La paradoja del barbero". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Descomposiciones triangulares. #Haskell #Python #Matemáticas
• IsarMathLib 1.30.0: Modules and update to Isabelle2024. #ITP #Isabelle #Math