Lecturas compartidas el 22 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Math
Buenos días
Las lecturas compartidas en Mastodon el 22 de mayo de 2024 son
Lecturas compartidas el 21 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #SMT #Z3 #FunctionalProgramming #Haskell #Python #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si una función es creciente e involutiva, entonces es la identidad". #ITP #Lean4 #IsabelleHOL #Math
También están en GitHub.
Saludos, José A.
"La felicidad es darse cuenta que nada es demasiado importante." ~ Antonio Gala (1930-2023).
