Lecturas compartidas el 31 de marzo de 2024
#Automath #Emacs #Haskell #ITP #Matemáticas #Math #OrgMode #Pandoc #Python
Buenos días
Las lecturas compartidas en Mastodon el 31 de marzo de 2024 son
Lecturas compartidas el 30 de marzo de 2024. #FunctionalProgramming #GPT #Haskell #ITP #IsabelleHOL #Math #Python #TypeTheory
#Exercitium: Mayor órbita de la sucesión de Collatz. #Haskell #Python #Matemáticas
Checking Landau's "Grundlagen" in the Automath system. ~ L.S. van Benthem Jutting (1977). #ITP #Automath #Math
My Org+Pandoc workflow. ~ İsmail Efe Top. #Emacs #OrgMode #Pandoc
También están en GitHub.
Saludos, José A.
"Los ojos de los demás son nuestras prisiones; sus pensamientos nuestras jaulas." ~ Virginia Woolf (1882-1941).
