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

• Lecturas compartidas el 27 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las sucesiones convergentes son sucesiones de Cauchy". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Particiones de enteros positivos. #Haskell #Python #Matemáticas
• A "calculation-heavy" introduction to proof, with support from Lean. ~ Heather Macbeth. #ITP #Lean4
• Mastering QuickCheck: Advanced yet practical techniques for property-based testing. ~ Koz Ross. #FunctionalProgramming #Haskell
• Introducción a la programación lógica con Scryer Prolog. ~ Adrián Arroyo Calle (@aarroyoc@castilla.social). #LogicProgramming #Prolog