Las lecturas compartidas en Mastodon el 19 de julio de 2024 son

• Lecturas compartidas el 18 de julio de 2024. #ITP #Coq #IsabelleHOL #FunctionalProgramming #Haskell #LiquidHaskell #AI #ChatGPT #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "El punto de acumulación de las sucesiones convergente es su límite". #ITP #Lean4 #IsabelleHOL #Math
• Categorical foundations of formalized condensed mathematics. ~ Dagur Asgeirsson et als. #ITP #Lean4 #Math
• Haskell for dilettantes, Part 1: Intro. ~ Tea Leaves. #FunctionalProgramming #Haskell
• Haskell for dilettantes, Part 2: Expressions, types, and functions. ~ Tea Leaves. #FunctionalProgramming #Haskell
• Haskell for dilettantes, Part 3a: Homework 1, Exercise 1. ~ Tea Leaves. #FunctionalProgramming #Haskell