The readings shared in Mastodon on September 16, 2024 are

• Readings shared September 15, 2024. #ITP #LeanProver #Lean4 #LLMs
• Duality theory in linear optimization and its extensions (formally verified). ~ Martin Dvorak & Vladimir Kolmogorov. #ITP #LeanProver #Lean4 #Math
• The Haskell playground. ~ Tom Smeding. #Haskell #FunctionalProgramming