Las lecturas compartidas en Mastodon el 28 de mayo de 2024 son

• Lecturas compartidas el 26 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Math #AI #MachineLearning
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las sucesiones convergentes están acotadas". #ITP #Lean4 #IsabelleHOL #Math
• Autoformalizing euclidean geometry. ~ Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si. #Autoformalisation #LLMs #ITP #Lean4
• Coding in Haskell: Writing and debugging megaparsec parsers for grep. #FunctionalProgramming #Haskell