The readings shared in Mastodon on September 13, 2024 are

• Readings shared September 12, 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs
• Reflecting away from definitions in Liquid Haskell. ~ Jonathan Arnoult. #Haskell #FunctionalProgramming #LiquidHaskell
• Why and how I use "Org Mode" for my writing and more. ~ Aditya Athalye. #Emacs #OrgMode