The readings shared in Bluesky on 23 February 2025 are

• Power operator for lists (in Isabelle/HOL). ~ Štěpán Holub, Martin Raška, Štěpán Starosta, Tobias Nipkow. #ITP #IsabelleHOL
• Strands Rocq: Why is a security protocol correct, mechanically? ~ Matteo Busi, Riccardo Focardi, Flaminia L. Luccio. #ITP #Rocq #Coq
• Fracterm calculus for partial meadows. ~ Jan A. Bergstra, Alban Ponse. #ATP #Prover9 #Mace4 #Math
• How to deepen your understanding of Mizar. ~ Alex Nelson. #ITP #Mizar