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

• Lecturas compartidas el 12 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #Haskell #Python
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones suprayectivas tienen inversa por la derecha". #ITP #Lean4 #IsabelleHOL #Math