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

• Lecturas compartidas el 24 de julio de 2024. #ITP #Lean4 #Coq #Logic #FunctionalProgramming #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si a es un punto de acumulación de la sucesión de Cauchy u, entonces a es el límite de u". #ITP #Lean4 #IsabelleHOL #Math
• Approximate relational reasoning for higher-order probabilistic programs. ~ Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal. #ITP #Coq
• LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover. ~ Zijian Wu, Jiayu Wang, Dahua Lin, Kai Chen. #LLMs #ITP #Lean4 #Math