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

• Lecturas compartidas el 24 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math
• #Exercitium: Conjunto de primos relativos. #Haskell #Python #Matemáticas
• La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (25-mayo-24). #ITP #Lean4 #IsabelleHOL #Math
• Statically typed functional programming with Python 3.12. ~ Oskar Wickström (@owickstrom). #FunctionalProgramming #Python
• Proving theorems recursively. ~ Haiming Wang et als. #ITP #IsabelleHOL #LLMs #MachineLearning
• DeepSeek-Prover: Advancing theorem proving in LLMs through large-scale synthetic data. ~ Huajian Xin et als. #LLMs #ITP #Lean4