Lecturas compartidas el 21 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #SMT #Z3 #FunctionalProgramming #Haskell #Python #Math
Buenos días
Las lecturas compartidas en Mastodon el 21 de mayo de 2024 son
Lecturas compartidas el 20 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La composición de una función creciente y una decreciente es decreciente". #ITP #Lean4 #IsabelleHOL #Math
On the ingredients for Fermat. ~ Kevin Buzzard. #ITP #Lean4 #Math
Quiver: Guided abductive inference of separation logic specifications in Coq. ~ Simon Spies, Lennard Gäher, Michael Sammler and Derek Dreyer. #ITP #Coq
Proving Sum n = n*(n-1)/2 and that 1/n tends to 0. ~ Philip Zucker (@sandmouth@types.pl). #Python #SMT #Z3
Prefer do notation over Applicative operators when assembling records. ~ Gabriella Gonzalez (@GabriellaG439).l#FunctionalProgramming #Haskell
Beauty is not simplicity: An analysis of mathematicians' proof appraisals. ~ Matthew Inglis and Andrew Aberdein. #Math
También están en GitHub.
Saludos, José A.
"Medita, contempla los muros; observa tus ideas, tus hábitos, tus apegos y tus miedos, sin emitir juicio ni condena de ningún tipo. Limítate a mirarlos y se derrumbarán." ~ Anthony de Mello (1931-1987).
