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

• Lecturas compartidas el 8 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Logic #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las particiones definen relaciones de equivalencia". #ITP #Lean4 #IsabelleHOL #Math
• Lean: First steps (05 - Inequalities). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #Lean4 #Math
• Scientific computing in Lean. ~ Tomáš Skřivan. #ITP #Lean4
• Normative conditional reasoning as a fragment of HOL. ~ Xavier Parent, Christoph Benzmüller. #ITP #IsabelleHOL #Logic