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

• Lecturas compartidas el 12 de julio de 2024. #ITP #Coq #Logic #Math #FunctionalProgramming #Haskell #Physics
• IMO 1987 Problem 4: Animated Lean 4 proof. ~ David Renshaw. #ITP #Lean4 #Math #IMO
• Formalization of the filter extension principle (FEP) in Coq. ~ Guowei Dou, Wensheng Yu. #ITP #Coq #Logic #Math
• Binding contexts as partitionable multisets in Abella. ~ Terrance Gray, Gopalan Nadathur. #ITP #Abella
• Domain theory in univalent foundations I: Directed complete posets and Scott's D∞. ~ Tom de Jong. #ITP #Agda
• Domain theory in univalent foundations II: Continuous and algebraic domains. ~ Tom de Jong, Martín Hötzel Escardó. #ITP #Agda
• Separable polynomials and separable extensions. ~ Christoph Schwarzweller. #ITP #Mizar #Math
• Integral of continuous three variable functions. ~ Noboru Endou. #ITP #Mizar #Math
• Competitive programming in Haskell: Tree path decomposition, part I. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #FunctionalProgramming #Haskell