The readings shared in Bluesky on 18 April 2025 are

• #Exercitium: Eliminación de las ocurrencias aisladas. #Haskell #ProgramaciónFuncional
• #Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]". #LeanProver #IsabelleHOL #Math