Las lecturas compartidas en Mastodon el 14 de mayo de 2024 son

• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si G es un grupo y a, b ∈ G, entonces (ab)⁻¹ = b⁻¹a⁻¹". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Matrices de Toepliz. #Haskell #Python #Matemáticas
• Schönhage-Strassen multiplication (in Isabelle/HOL). ~ Jakob Schulz. #ITP #IsabelleHOL #Math
• An entry into the world of Org Mode for non Emacs users. ~ James Stoup. #Emacs #OrgMode
• Writing Lisp code with ChatGPT. #Elisp #ChatGPT