The readings shared in Mastodon on September 20, 2024 are

• Readings shared September 19, 2024. #ITP #Coq #Math #Haskell #FunctionalProgramming #Logic #AI
• Proofs of "∑i<n. i = n(n-1)/2" in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #CaWlculemus
• Extending Isabelle/HOL's code generator with support for the Go programming language. ~ Terru Stübinger & Lars Hupel. #ITP #IsabelleHOL #GoLang
• Mapping probability with logic: First order models in puzzle solving. ~ Adrian Groza. #ATP #Prover9 #Mace4