The readings shared in Bluesky on 7 July 2025 are

• Lean: a theorem prover and programming language that enables correct, maintainable, and formally verified code. #ITP #LeanProver #FunctionalProgramming
• Curso "Razonamiento automático (2017-18)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
• Curso "Lógica matemática y fundamentos (2018-19)". #Lógica #ProgramaciónFuncional #IsabelleHOL
• Curso "Razonamiento automático (2018-19)". #DemostraciónInteractiva #ProgramaciónFuncional #IsabelleHOL #Coq
• Curso "Informática (2019-20)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
• Temas de "Programación funcional" (2019-20). #Haskell #ProgramaciónFuncional
• Ejercicios de programación funcional con Haskell (curso 2019-20). #Haskell #ProgramaciónFuncional
• Exámenes de programación funcional con Haskell (curso 2019-20). #Haskell #ProgramaciónFuncional