The readings shared in Bluesky on 28 March 2025 are

• A gentle introduction to Isabelle and Isabelle/HOL. ~ Gunnar Teege. #ITP #IsabelleHOL
• Verified collaboration: How Lean is transforming mathematics, programming, and AI. ~ Leonardo de Moura. #ITP #LeanProver #Math #Programming #AI
• The philosophical problem of induction, and the problem of Fetzer. ~ Lawrence Paulson. #Philosophy #Math #CompSci
• #Exercitium: Emparejamiento binario. #Haskell #ProgramaciónFuncional #Matemáticas
• Demostraciones con Lean4 y con Isabelle/HOL de "(s \ t) ∪ t = s ∪ t". #LeanProver #IsabelleHOL #Math #Calculemus
• Curso "Lógica informática (2009-10)". #Lógica #Matemática #Computación
• Temas de "Lógica informática" (2009-10). #Logic #Math #CompSci
• Ejercicios de "Lógica informática" (2009-10). #Logic #Math #CompSci
• Soluciones de exámenes de Lógica informática (2000-07). #Logic #Math #CompSci
• Curso "Programación declarativa (2009-10)". #Haskell #FunctionalProgramming #Prolog #LogicProgramming
• Temas de "Programación funcional con Haskell" (2009-10). #Haskell #FunctionalProgramming
• Introducción a la programación lógica con Prolog. #Prolog #LogicProgramming
• Ejercicios de programación funcional con Haskell (versión del 20 de septiembre de 2007). #Haskell #FunctionalProgramming
• Ejercicios de programación lógica con Prolog (Versión de 20 de septiembre de 2007). #Prolog #LogicProgramming