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