Lecturas compartidas el 23 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Math #CompSci
Buenos días
Las lecturas compartidas en Mastodon el 23 de abril de 2024 son
Lecturas compartidas el 22 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Agda #FunctionalProgramming #Haskell #Nix #Math #IMO
#Calculemus: Demostraciones de "f[s] ∩ v = f[s ∩ f⁻¹[v" con Lean4 e Isabelle/HOL]]. #ITP #Lean4 #IsabelleHOL #Math
Human-machine collaboration in the teaching of proof. ~ Gila Hanna, Brendan Larvor, Xiaoheng Kitty Yan. #ITP #Lean4 #Math
LiberAbaci: Teaching mathematics with the help of Coq. #ITP #Coq #Math
Benefits of functional programming. ~ Ada Beat. #FunctionalProgramming
Mathematics and computation. ~ Avi Wigderson. #eBook #Math #CompSci
También están en GitHub.
Saludos, José A.
"Trabajo incesante, análisis, reflexión, escritura, autocorrección interminable, ese es mi secreto." ~ Johann Sebastian Bach (1685-1750).