The readings shared in Bluesky on 29 June 2025 are

• Constructing the Lie algebra of smooth vector fields on a Lie group in Isabelle/HOL. ~ Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL #Math
• A Rocq formalization of simplicial Lagrange finite elements. ~ Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine. #ITP #Rocq #Math
• Formal correctness proof of a mapping from a software specification language to the relational algebra. ~ Stan Dargent. #ITP #IsabelleHOL
• Functional programming (with some type theory) for metrology. ~ André Videla, Keith Lines. #Haskell #Idris #FunctionalProgramming
• Prover Agent: An agent-based framework for formal mathematical proofs. ~ Kaito Baba, Chaoran Liu, Shuhei Kurita, Akiyoshi Sannai. #LLMs #ITP #LeanProver
• Pearclustering: a novel clustering algorithm with an application to bike mobility. ~ Francisco Marquez-Saldaña, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz. #AI
• Curso "Razonamiento automático (2014-15)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
• Curso "Informática (2015-16)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
• Temas de "Programación funcional" (2015-16). #Haskell #ProgramaciónFuncional
• Ejercicios de programación funcional con Haskell (curso 2015–16). #Haskell #ProgramaciónFuncional
• Exámenes de programación funcional con Haskell (curso 2015–16). #Haskell #ProgramaciónFuncional
• Curso "Lógica informática (2015-16). #Lógica #ProgramaciónLógica #Prolog
• Temas de "Lógica informática" (curso 2015-16). #Lógica #ProgramaciónLógica #Prolog
• Ejercicios de "Lógica informática" (curso 2015-16). #Lógica
• Curso "Lógica matemática y fundamentos (2015-16)". #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
• Curso "Informática (2016-17)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
• Temas de "Programación funcional" (2016-17). #Haskell #ProgramaciónFuncional
• Ejercicios de programación funcional con Haskell (curso 2016-17). #Haskell #ProgramaciónFuncional
• Exámenes de programación funcional con Haskell (curso 2016-17). #Haskell #ProgramaciónFuncional