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

• Lecturas compartidas el 7 de julio de 2024. #ITP #IsabelleHOL #Lean4 #Coq #Agda #Math #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las particiones definen relaciones transitivas". #ITP #Lean4 #IsabelleHOL #Math
• Mechanised uniform interpolation for modal logics K, GL, and iSL. ~ Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito. #ITP #Coq #Logic