Readings shared October 16, 2024 The readings shared in Mastodon on 16 October 2024 are Readings shared October 15, 2024. #AI #ChatGPT #Emacs #FunctionalProgramming #GeoGebra #Haskell #ITP #LambdaCalculus #Lean4 #LeanProver #LogicPr

Readings shared October 16, 2024. jaalonso.github.io/vestigium/po... #AI #Education #FunctionalProgramming #Haskell #ITP #Lean4 #MachineLearning #Math1