Lecturas compartidas el 2 de junio de 2024
Las lecturas compartidas en Mastodon el 2 de junio de 2024 son
- La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (2-junio-24). #ITP #Lean4 #IsabelleHOL #Math
- Intro to Lean 4: A language at the intersection of programming and mathematics. ~ Kiiya. #ITP #Lean4
- A boolean is maybe true. ~ Håkon Robbestad Gylterud. #FunctionalProgramming #Haskell
- Principles of dependent type theory. ~ Carlo Angiuli and Daniel Gratzer (@danielgratzer@mathstodon.xyz). #TypeTheory #FunctionalProgramming
- L’intelligence artificielle : Hier, aujourd’hui … et demain. ~ Jean-Paul Haton. #IA