The readings shared in Mastodon on 20 November 2024 are

• Readings shared November 19, 2024. #ITP #Lean4 #Math #Haskell #FunctionalProgramming
• Anatomy of a formal proof. ~ Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz. #ITP #Lean4 #Math
• A course of Algebra (Part I). ~ Aleksandr Aleksandrovich Zykov. #Math
• El aprendizaje automático ayuda a atacar problemas matemáticos clásicos. ~ Juanjo Rué y Ágata A. Timón. #AI #Math