The readings shared in Mastodon on August 18, 2024 are

• Readings shared August 18, 2024. #ITP #LeanProver #Lean4 #FunctionalProgramming #Math #Prolog #LogicProgramming
• Proofs of the equivalence of reverse definitions in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• A formalisation of the Mathieu-24 group. ~ Edward van de Meent. #ITP #LeanProver #Lean4 #Math