Las lecturas compartidas en Mastodon el 08 de agosto de 2024 son

• Lecturas compartidas el 6 de agosto de 2024. #ITP #Coq #Python #FunctionalProgramming
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "length(xs ++ ys) = length(xs) + length(ys)". #ITP #Lean4 #IsabelleHOL #Math
• A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si. #ITP #DeepLearning
• Getting started with Blueprint-Driven formalization projects in Lean. ~ Pietro Monticone (@PietroMonticone). #ITP #LeanProver #Lean4