Readings shared December 5, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/05-readings_shared_12-05-24 #ITP #LeanLang #Lean4 #Coq #Rocq #IsabelleHOL #Logic #Math #FunctionalProgramming #Haskell #OCaml #AI #LLMs