The readings shared in Bluesky on 24 October 2025 are:

• Revisiting a short proof of Cauchy’s polygonal number theorem and formalizing it in Lean 4. ~ Kevin K. H. Cheung, Tomas McNamer. #ITP #LeanProver #Math
• Sphere packing in Lean. ~ Christopher Birkbeck, Sidharth Hariharan, Seewoo Lee, Gareth Ma, Bhavik Mehta, Maryna Viazovska. #ITP #LeanProver #Math