Lecturas compartidas el 12 de mayo de 2024
#ITP #Lean4 #Agda #Math #FunctionalProgramming #Haskell
Buenos días
Las lecturas compartidas en Mastodon el 12 de mayo de 2024 son
Lecturas compartidas el 11 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Agda #Coq #HOL_Light #Metamath #Mizar #Math #Programming #CommonLisp
Libro "Calculemus (Demostraciones con Lean4)" (versión 11-mayo-24). #ITP #LeanProver #Lean4 #Matemáticas
A Lean proof of Fermat’s Last Theorem. ~ Kevin Buzzard, Richard Taylor. #ITP #Lean4 #Math
Agda core: The dream and the reality. ~ Jesper Cockx (@jesper@agda.club) #ITP #Agda
The ultimate guide to Haskell Strings. ~ Julian Ospald. #FunctionalProgramming #Haskell
También están en GitHub.
Saludos, José A.
"Nosotros no nos esforzamos, queremos, apetecemos ni deseamos algo porque juzgamos que es bueno, sino que, por el contrario, juzgamos que algo es bueno porque nos esforzamos por ello, lo queremos, apetecemos y deseamos." ~ Baruch Spinoza (1632-1677).