The readings shared in Mastodon on August 15, 2024 are

• Readings shared August 14, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Math #AI #MachineLearning
• Software verification with Isabelle/HOL. ~ Peter Höfner. #ITP #IsabelleHOL
• Functional algorithms verified in SSReflect. ~ Alex Gryzlov et als. #ITP #Coq #SSReflect
• Haskell for Elm developers: giving names to stuff (Part 5 - Semigroups and Monoids). ~ Flavio Corpa (@FlavioCorpa). #Haskell #Elm #FunctionalProgramming
• The Haskell Unfolder Episode 31: nothunks. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
• Galois theory. ~ Tom Leinster. #Math