The readings shared in Mastodon on 10 October 2024 are

• Readings shared October 9, 2024. #Haskell #FunctionalProgramming
• #Exercitium: Número de ocurrencias de elementos. #Haskell
• M2Lyon2425: Group theory in Lean. ~ Filippo A. E. Nuccio. #ITP #LeanProver #Lean4 #Math
• A complete formalization of Fermat's Last Theorem for regular primes in Lean. ~ Riccardo Brasca, Christopher Birkbeck, Eric Rodriguez Boidi, Alex Best, Ruben van De Velde, Andrew Yang. #ITP #LeanProver #Lean4 #Math
• Pointwise order of generalized Hofstadter functions G, H and beyond. ~ Pierre Letouzey, Shuo Li, Wolfgang Steiner. #ITP #Coq #Math
• Finite element method. Detailed proofs to be formalized in Coq. ~ François Clément, Vincent Martin. #ITP #Coq #Math
• Modelling and proving the monotonicity of processor pipelines in Coq. ~ Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. #ITP #Coq
• The Karatsuba square root algorithm (in Isabelle/HOL). ~ Manuel Eberl. #ITP #IsabelleHOL #Math
• Polynomial universes and dependent types. ~ C.B. Aberlé, David I. Spivak. #ITP #Agda
• Formalization of homotopy pushouts in homotopy type theory. ~ Vojtěch Štěpančík. #ITP #Agda #Math #HoTT
• AlphaIntegrator: Transformer action search for symbolic integration proofs. ~ Mert Ünsal, Timon Gehr, Martin Vechev. #LLMs #Math
• Demostraciones por inducción en Lean. ~ Luis Turcio. #ITP #Lean4