The readings shared in Bluesky on 22 June 2025 are

• Conway’s normal form in the Mizar system. ~ Karol Pąk. #ITP #Mizar #Math
• Application of complex classes to number theory (in Mizar). ~ Rafał Ziobro. #ITP #Mizar #Math
• Free product of groups (in Mizar). ~ Sebastian Koch. #ITP #Mizar #Math
• Surreal numbers: A study of square roots (in Mizar). ~ Karol Pąk. #ITP #Mizar #Math
• Surreal dyadic and real numbers: A formal construction (in Mizar). ~ Karol Pąk. #ITP #Mizar #Math