Readings shared August 24, 2024
The readings shared in Mastodon on August 24, 2024 are
- Readings shared August 23, 2024. #ITP #IsabelleHOL #LeanProver #Lean4 #AI #DeepLearning #Haskell #FunctionalProgramming #LogicProgramming #Python
- Logic and computation intertwined. ~ Prabhakar Ragde. #Logic #Racket #ITP #Coq #Agda
- Tipos dependientes: λP. ~ Juan Pablo Yamamoto Zazueta. #TypeTheory #CurryHoward