The readings shared in Mastodon on September 24, 2024 are

• Readings shared September 23, 2024. #ITP #LeanProver #Coq #IsabelleHOL #Math #ITP #Haskell #FunctionalProgramming #AI #LLMs
• Proofs of ∑k<n. 2ᵏ = 2ⁿ-1 in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• Code examples from a Lean tutorial at the Copenhagen functional programming meetup (1/2). ~ David Thrane Christiansen (@d_christiansen@mathstodon.xyz). #ITP #Lean4 #FunctionalProgramming
• Code examples from a Lean tutorial at the Copenhagen functional programming meetup (2/2). ~ David Thrane Christiansen (@d_christiansen@mathstodon.xyz). #ITP #Lean4 #FunctionalProgramming
• Playing with a game. ~ Chris Smith. #Haskell #FunctionalProgramming
• Applicative logic. ~ Håkon Robbestad Gylterud. #Haskell #FunctionalProgramming #Logic
• Axiomatic set theory 1: Introduction. ~ Tom Leinster. #Math #SetTheory
• Axiomatic set theory (Version of 21 September 2024). ~ Tom Leinster. #Math #SetTheory
• On logic and generative AI. ~ Yuri Gurevich, Andreas Blass. #Logic #AI
• Proof automation with Large Language Models. ~ Minghai Lu, Benjamin Delaware, Tianyi Zhang. #ITP #Coq #LLMs
• ChatGPT as a solver and grader of programming exams written in spanish. ~ Pablo Fernández-Saborido, Marcos Fernández-Pichel, David E. Losada. #LLMs #ChatGPT #CompSci
• Is math the path to chatbots that don't make stuff up? ~ Cade Metz. #AI #ITP #Lean4 #Math
• Harmonic: We are forging the world's most advanced mathematical reasoning engine. #AI #ITP #Math