The readings shared in Bluesky on 21 June 2025 are

• Theorem proving in Lean 4. ~ Jeremy Avigad, Leonardo de Moura, Soonho Kong, Sebastian Ullrich et als. #ITP #LeanProver
• Certifying projected knowledge compilation. ~ Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule. #ITP #HOL4
• Freer arrows and why you need them in Haskell. ~ Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li. #Haskell #FunctionalProgramming
• Property-based testing of attribute grammars. ~ José Nuno Macedo, Marcos Viera, João Saraiva. #Haskell #FunctionalProgramming
• Curso "Lógica informática (2013-14)". #Lógica #ProgramaciónLógica #Prolog
• Curso "Lógica matemática y fundamentos (2013-14)". #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
• Curso "Razonamiento automático (2013-14)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL