The readings shared in Mastodon on September 21, 2024 are

• Readings shared September 20, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #ATP #Prover9 #Mace4
• Course: Theorem proving with Lean. ~ Damiano Testa. #ITP #LeanProver #Math
• Finding lemmas in Mathlib. ~ Damiano Testa. #ITP #LeanProver #Mathlib
• Course: Repository for the Lean master program in Lyon for 2024-25. ~ Filippo A. E. Nuccio et als. #ITP #LeanProver #Math
• Weekly-Lean: The Lean weekly challenge. ~ Kyle Thompson, Saketh Kasibatla & Nico Lehmann. #ITP #LeanProver
• Mini-curso de Lean. ~ Luis Turcio. #ITP #LeanProver #Logic #Math
• Lean - Tácticas y proposiciones. ~ Luis Turcio. #ITP #LeanProver
• Lean - Proposiciones y primer orden. ~ Luis Turcio. #ITP #LeanProver #Logic
• Lean - Conjuntos 1. ~ Luis Turcio. #ITP #LeanProver #Logic #Math
• Lean - Funciones. ~ Luis Turcio. #ITP #LeanProver #Logic #Math
• Topología general en Lean3. ~ Miguel Marco. #ITP #LeanProver #Lean3 #Math
• Juego LEAN de topología general. ~ Miguel Marco. #ITP #LeanProver #Lean4 #Math
• Stone duality in Lean. ~ Dagur Ásgeirsson, Sam van Gool, Tomáš Jakl & Filippo A.E. Nuccio. #ITP #LeanProver #Lean4 #Math
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving. ~ Kangfeng Ye, Jim Woodcock & Simon Foster. #ITP #IsabelleHOL
• No generalization without understanding and explanation (Why AI needs symbolic and logical reasoning). ~ Walid Saba. #AI #LLMs #DeepLearning #Logic
• Qwen2.5-Math: The world's leading open-sourced mathematical LLMs. #LLMs #Math
• Qwen2.5-Coder Technical Report. ~ Binyuan Hui et als. #LLMs #Programming