The readings shared in Bluesky on 31 March 2025 are

• Formally verifying a transformation from MLTL formulas to regular expressions. ~ Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier. #ITP #IsabelleHOL
• #Exercitium: Elemento más repetido de manera consecutiva. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "Los primos mayores que 2 son impares". #LeanProver #IsabelleHOL #Math #Calculemus
• Curso "Lógica informática (2010-11)". #Logic #Math #CompSci
• Temas de "Lógica informática" (2010-11). #Logic #Math #CompSci
• Ejercicios de "Lógica informática" (2010-11). #Logic #Math #CompSci
• Ejercicios de deducción natural proposicional. #Logic #Math
• Ejercicios de deducción natural en lógica de primer orden. #Logic #Math