The readings shared in Mastodon on September 27, 2024 are

• A pilot project in universal algebra to explore new ways to collaborate and use machine assistance? ~ Terence Tao (@tao@mathstodon.xyz). #ITP #LeanProver #Lean4 #Math
• Equational theory project. ~ Terence Tao et als. #ITP #ATP #Math
• Equational theories (Blueprint). ~ Terence Tao (@tao@mathstodon.xyz). #ITP #Lean4 #Math
• Knuckledragger solvers for Terence Tao's equational reasoning challenge. ~ Philip Zucker (@SandMouth). #ITP #Math
• Linear algebra in "Mathematics in Lean". ~ Patrick Massot. #ITP #Lean4 #Math
• Lean: First steps (09 - "Or" goal). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #Lean4 #Math
• Lean: First steps (11 - Existence). ~ Tariq Rashid (@rzeta0@mastodon.social) #ITP #Lean4 #Math
• Post’s problem and the priority method in synthetic computability. ~ Haoyi Zeng. #ITP #Coq
• Secure smart contracts with Isabelle/Solidity. ~ Diego Marmsoler, Asad Ahmed & Achim D. Brucker. #ITP #IsabelleHOL
• Theoretical and practical approach to the soundness and completeness of operational semantics based on denotational semantics for MDESL. ~ Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He & Jonathan Bowen. #ITP #Coq
• The universal presence of category theory. ~ Gabriel Field. #Math #CategoryTheory
• Axiomatic set theory (Version of 24 September 2024). ~ Tom Leinster. #Math #SetTheory