The readings shared in Mastodon on August 27, 2024 are

• Readings shared August 26, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Prolog #LogicProgramming
• Topological groups (in Isabelle/HOL). ~ Niklas Krofta. #ITP #IsabelleHOL #Math
• Difference bound matrices (in Isabelle/HOL). ~ Simon Wimmer & Peter Lammich. #ITP #IsabelleHOL