The readings shared in Bluesky on 19 June 2025 are

• Galois energy games (in Isabelle/HOL). ~ Caroline Lemke. #ITP #IsabelleHOL
• Chomsky-Schützenberger representation theorem (in Isabelle/HOL). ~ Moritz Roos. #ITP #IsabelleHOL
• Dyck language (in Isabelle/HOL). ~ Tobias Nipkow, Moritz Roos. #ITP #IsabelleHOL
• Making concurrent hardware verification sequential. ~ Thomas Bourgeat, Jiazheng Liu, Adam Chlipala, Arvind. #ITP #CoqProver #Rocq
• Reviving DSP for advanced theorem proving in the era of reasoning models. ~ Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang. #AI #Math #AIforMath #LLMs #ITP #LeanProver
• Reseña de «Can A.I. quicken the pace of math discovery?». #AI #Math #AIforMath #ITP #LeanProver