Lecturas compartidas el 20 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Math
Buenos días
Las lecturas compartidas en Mastodon el 20 de mayo de 2024 son
Lecturas compartidas el 19 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Haskell #Python #Logic #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Los monoides booleanos son conmutativos". #ITP #Lean4 #IsabelleHOL #Math
A gentle introduction to Isabelle and Isabelle/HOL. ~ Gunnar Teege. #ITP #IsabelleHOL
Linear resources in Isabelle/HOL. ~ Filip Smola and Jacques D. Fleuriot. #ITP #IsabelleHOL
Grothendieck's use of equality. ~ Kevin Buzzard. #Math #ITP #LeanProver
Beyond trees: Calculating graph-based compilers. ~ Patrick Bahr and Graham Hutton. #FunctionalProgramming #Haskell
También están en GitHub.
Saludos, José A.
"La vida es tan incierta, que la felicidad debe aprovecharse en el momento en que se presenta." ~ Alejandro Dumas (1802-1870).
