Lecturas compartidas el 14 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Haskell #Python #Math #Emacs #OrgMode #Elisp #ChatGPT
Buenos días
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
También están en GitHub.
Saludos, José A.
"El hombre juicioso sólo piensa en sus males cuando ello conduce a algo práctico; todos los demás momentos los dedica a otras cosas." ~ Bertrand Russell (1872-1970).
