The readings shared in Mastodon on 20 October 2024 are

• Readings shared October 20, 2024. #ITP #LeanProver #Lean4 #Math #Math #SetTheory #AI
• Foreign function verification through metaprogramming. ~ Joomy Korkut. #ITP #Coq
• Lecture notes on overview and the lambda calculus. ~ Jan Hoffmann. #LambdaCalculus
• Course: Types and Programming Languages. ~ Jan Hoffmann. #FunctionalProgramming
• An efficient propositional system for Abductive Logic Programming. ~ M. Gavanelli, P. Julián-Iranzo, F. Sáenz-Pérez. #ALP #LogicProgramming
• The accepted papers for the MATH-AI workshop have been released on OpenReview. #ITP #AI #LLMs #Math