Las lecturas compartidas en Mastodon el 17 de junio de 2024 son

• Lecturas compartidas el 16 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Logic #Math #CompSci #LambdaCalculus
• Functional data structures and algorithms (A proof assistant approach). ~ Tobias Nipkow (ed.). #ITP #IsabelleHOL #FunctionalProgramming #Algorithms
• Alpha-beta pruning (in Isabelle/HOL). ~ Tobias Nipkow. #ITP #IsabelleHOL #FunctionalProgramming #Algorithms
• This simple logic question stumps even the most advanced AI. ~ Maggie Harrison Dupré. #AI