The readings shared in Mastodon on 11 October 2024 are

• Readings shared October 10, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Agda #Math #HoTT #LLMs
• ImProver: Agent-based automated proof optimization. ~ Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck. #ITP #LeanProver #LLMs
• Combining Waterproof and Mathematical Components (Utilising Mathematical Components in Waterproof to teach linear algebra proving). ~ Dick Arends. #ITP #Coq #Waterproof #Math
• Take-aways from using Deduce in the classroom. ~ Jeremy Siek (@jeremysiek@types.pl). #ITP #Deduce
• The elementary theory of the category of sets (in Isabelle/HOL). ~ James Baxter & Dustin Bryant. #ITP #IsabelleHOL #Math
• Automated geometric theorem proving: Wu's method. ~ Joran Elias. #ATP #Math
• Can logic programming be liberated from predicates and backtracking? ~ Michael Hanus. #LogicProgramming