The readings shared in Mastodon on September 20, 2024 are

• Readings shared September 19, 2024. #ITP #Coq #Math #Haskell #FunctionalProgramming #Logic #AI
• [Proofs of "∑i