The readings shared in Bluesky on 26 March 2025 are

• Formal proof of Dilworth's theorem (in Isabelle/HOL). ~ Vivek Soorya Maadoori et als. #ITP #IsabelleHOL #Math
• Mathematics and machine creativity: A survey on bridging mathematics with AI. ~ Shizhe Liang, Wei Zhang, Tianyang Zhong, Tianming Liu. #AI #Math
• LogicLearner: A tool for the guided practice of propositional logic proofs. ~ Amogh Inamdar et als. #Logic
• #Exercitium: Numeración de las ternas de números naturales. #Haskell #ProgramaciónFuncional #Matemáticas
• Curso "Informática (2009-10)". #Haskell #ProgramaciónFuncional #Maxima