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

• Lecturas compartidas el 10 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Abella #Beluga #Agda #Haskell #Logic #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones de extracción no están acotadas". #ITP #Lean4 #IsabelleHOL #Math