Lecturas compartidas el 14 de marzo de 2024
Lecturas de #ITP #Lean4 #IsabelleHOL #Haskell #FunctionalProgramming #Math #AI
Buenos días
Las lecturas compartidas en Mastodon el 14 de marzo de 2024 so
Lecturas compartidas el 13 de marzo de 2024. #ITP #Logic #Math #CompSci
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "s ⊆ f⁻¹[f[s]]". #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
A new type of mathematics? (New discoveries expand the scope of computer-assisted proofs of theorems). ~ Don Monroe (2014). #ITP #Math
Why is defunctionalization good? ~ Michael Peyton Jones (@mpeytonjones). #Haskell #FunctionalProgramming
Domain-specific languages and code synthesis using Haskell. ~ Andy Gill (2014). #Haskell #FunctionalProgramming
News flash: new NSF funding for AI in mathematical reasoning. ~ Michael Harris. #Math #AI
También están en GitHub.
Saludos, José A.
"Nunca está nadie más activo que cuando no hace nada, nunca está menos solo que cuando está consigo mismo." ~ Catón el Joven (95 a.n.e-46 a.n.e).
