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

• Lecturas compartidas el 12 de mayo de 2024. #ITP #Lean4 #Agda #Math #FunctionalProgramming #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si G un grupo y a, b ∈ G tales que a⋅b = 1, entonces a⁻¹ = b". #ITP #Lean4 #IsabelleHOL #Math