The readings shared in Bluesky on 14 October 2025 are:

• Formally verified certification of unsolvability of temporal planning problems. ~ David Wang, Mohammad Abdulaziz. #ITP #IsabelleHOL
• A formalization of the generalized quantum Stein's lemma in Lean. ~ Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati. #ITP #LeanProver
• ZF style set theory in Knuckledragger I. ~ Philip Zucker. #Python #Logic #SetTheory
• Making change: Array-based dynamic programming. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
• A gentle introduction to the axiom of choice. ~ Andreas Blass, Dhruv Kulshreshtha. #Math #SetTheory