Las lecturas compartidas en Mastodon el 15 de julio de 2024 son

• Lecturas compartidas el 14 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Logic #Math #Haskell #Prolog
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las subsucesiones tienen el mismo límite que la sucesión". #ITP #Lean4 #IsabelleHOL #Math
• Formalizing implicational axiomatics for classical first-order logic with functions in Isabelle/HOL. ~ Jørgen Villadsen, Roberto Pettinau. #ITP #IsabelleHOL #Logic
• Mathematics in programming. ~ Xinyu Liu #Math #CompSci #Haskell
• Smart investment problem with Prolog. ~ Matteo Redaelli (@matteoredaelli). #Prolog