The readings shared in Mastodon on September 22, 2024 are

• Readings shared September 21, 2024. #ITP #IsabelleHOL #LeanProver #Lean3 #Lean4 #Mathlib #Logic #Math #AI #LLMs #DeepLearning
• Lean: First steps (08 - "And" hypothesis). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #Lean4 #Math
• Using Lean theorem prover to teach formal mathematics: Lean-Intro-Topology library. ~ Rafael Grenier. #ITP #LeanProver #Lean4 #Math
• Lean-Intro-Topology: Introduction to topology with Lean. ~ Rafael Grenier. #ITP #LeanProver #Lean4 #Math
• "A concise introduction to mathematical logic" in Lean4. ~ Enrico Borba. #ITP #LeanProver #Lean4 #Logic #Math
• Lean proofs of (some) problems from the book "102 combinatorial problems". ~ Musab Guma'a et als. #ITP #LeanProver #Lean4 #Math
• The Topology Game (Learn topology with Lean!). ~ Barcelona Lean Seminar. #ITP #LeanProver #Math
• Source of the "The Topology Game". ~ Marc Masdeu (@marcmasdeu) et als. #ITP #LeanProver #Lean3 #Math
• Formalization of Riemann-Stieltjes integral in Lean4. ~ Marc Masdeu (@marcmasdeu) et als. #ITP #LeanProver #Lean4 #Math
• A Lean 4 proof of unique prime factorization in well-ordered rings, starting from ring axioms. ~ Mattchen. #ITP #LeanProver #Lean4 #Math
• Formalisation of mathematics and dependent-type programming (A tutorial introduction using the Lean4 theorem prover). ~ Frédéric Peschanski. #ITP #LeanProver #Lean4 #Math
• A tutorial introduction of dependently-typed programming (and the Lean4 theorem prover). ~ Frédéric Peschanski. #ITP #LeanProver #Lean4 #Math