The readings shared in Bluesky on 6 June 2025 are

• Big steps in higher-order mathematical operational semantics. ~ Sergey Goncharov, Pouya Partow, Stelios Tsampas. #Haskell #FunctionalProgramming
• Libro "Matemáticas en Lean4" (versión del 6-junio-25). #ITP #Lean4 #Math