The readings shared in Mastodon on August 18, 2024 are

• Readings shared August 17, 2024. #ITP #LeanProver #Lean4 #Math #AI
• How the Lean language brings math to coding and coding to math. ~ Leo de Moura. #ITP #LeanProver #Math
• Lean again. ~ Adolfo Neto (@adolfoneto@bertha.social). #ITP #Lean4 #FunctionalProgramming
• The semantics of metapropramming in Prolog. ~ David S. Warren. #Prolog #LogicProgramming