The readings shared in Mastodon on 15 October 2024 are

• Readings shared October 13, 2024. #AI #CategoryTheory #Coq #Education #FunctionalProgramming #Haskell #ITP #ITP
• On using GeoGebra and ChatGPT for geometric discovery. ~ Francisco Botana, Tomás Recio, María Pilar Vélez. #GeoGebra #ChatGPT #Math #AI
• Lean: First steps (12 - Odd & Even ). ~ Tariq Rashid #ITP #Lean4 #Math
• Tutorial videos for the course "Lean: First Steps". ~ Tariq Rashid. #ITP #Lean4 #Math
• The handshaking lemma. ~ Christoph Spiegel. #ITP #LeanProver #Lean4 #Math
• Water sort in Haskell. ~ Nicolas Audinet de Pieuchon. #Haskell #FunctionalProgramming
• The power of Prolog. ~ Markus Triska. #Prolog #LogicProgramming
• Programación lógica con restricciones. #Prolog #LogicProgramming
• Emacs para ciencias del dato. #Emacs #OrgMode
• The λ-calculus, 2: The Church-Rosser theorem. ~ Lawrence Paulson. #LambdaCalculus