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

• Lecturas compartidas el 13 de julio de 2024. #ITP #Lean4 #Coq #Abella #Agda #Mizar #Logic #Math #IMO #FunctionalProgramming #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si a es un punto de acumulación de u, entonces (∀ε>0)(∀n∈ℕ)(∃k≥n)[u(k)−a| < ε]". #ITP #Lean4 #IsabelleHOL #Math
• Implementing the Fatio protocol for multi-agent argumentation in LogiKEy. ~ Luca Pasetto, Christoph Benzmüller. #Logic #ITP #IsabelleHOL
• Implementing intermediate logics. ~ Bastiaan Haaksema, Jens Otten, Revantha Ramanayake. #ATP #Logic #Haskell #Prolog