The readings shared in Bluesky on 14 June 2025 are

• Formalizing information theory in Lean 4: divergences, hypothesis testing and the data processing inequality. ~ Lorenzo Luccioli. #ITP #LeanProver #Math
• Collaboration and innovation in the Equational Theories Project: Formalizing mathematics with Lean 4. ~ Marco Petracci. #ITP #LeanProver #Math
• Is Emacs an operating system? #Emacs
• Curso "Razonamiento automático (2012-13)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
• Curso "Informática (2013-14)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima