The readings shared in Mastodon on August 26, 2024 are

• Proofs that the mirror function of binary trees is involutive in Lean4 and Isabelle/HOL. ~ José A. Alonso (@Jose_AAlonso@mathstodon.xyz). #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• A formalized programming language with speculative execution. ~ Jamie Wright & Andrei Popescu. #ITP #IsabelleHOL
• Game programming in Prolog (Part 1). ~ Youngjin Kang. #Prolog #LogicProgramming