Las lecturas compartidas en Mastodon el 11 de junio de 2024 son

• Lecturas compartidas el 10 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #Haskell #Python
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones inyectivas tienen inversa por la izquierda". #ITP #Lean4 #IsabelleHOL #Math
• The Lévy-Prokhorov metric (in Isabelle/HOL). ~ Michikazu Hirata. #ITP #IsabelleHOL #Math
• The Riesz representation theorem (in Isabelle/HOL). ~ Michikazu Hirata. #ITP #IsabelleHOL #Math
• The new TPTP format for interpretations. ~ Geoff Sutcliffe, Alexander Steen, Pascal Fontaine. #ATP #TPTP
• Ranking functional programming languages (Why I'm biased and excited). #FunctionalProgramming #Haskell #Scala #OCaml #PureScript #Elm #Roc #Unison #Gleam #Fsharp