Lecturas compartidas el 17 de mayo de 2024

#ITP #Lean4 #IsabelleHOL #Math

Buenos días

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

• Lecturas compartidas el 16 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs

• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si M es un monoide, a ∈ M y m, n ∈ ℕ, entonces a^(m·n) = (a^m)^n". #ITP #Lean4 #IsabelleHOL #Math

También están en GitHub.

Saludos, José A.

---

"Hagas lo que hagas, hazlo bien." ~ Abraham Lincoln (1809-1865).