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

• Lecturas compartidas el 4 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La congruencia módulo 2 es una relación de equivalencia". #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones con inversa por la izquierda son inyectivas". #ITP #Lean4 #IsabelleHOL #Math
• The Stone-Cech compactification (in Isabelle/HOL). ~ Mike Stannett. #ITP #IsabelleHOL #Math