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

• Lecturas compartidas el 26 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #IMO #AI #AlphaProof #FunctionalProgramming #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si u es una sucesión no decreciente y su límite es a, entonces u(n) ≤ a para todo n". #ITP #Lean4 #IsabelleHOL #Math
• Haskell nuggets: k-means. ~ Justin Lê (@mstk). #FunctionalProgramming #Haskell
• Prove or disprove. 100 conjectures from the OEIS. ~ Ralf Stephan. #Math