The readings shared in Mastodon on September 25, 2024 are

• Readings shared September 24, 2024. #ITP #Lean4 #IsabelleHOL #Coq #Logic #Math #SetTheory #Haskell #FunctionalProgramming #AI #LLMs
• Proofs of the Brahmagupta-Fibonacci identity in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• M2Lyon2425: Sets and functions (1). ~ Filippo A. E. Nuccio. #ITP #LeanProver #Lean4 #Math
• Cambridge combinatorics in Lean (Formalisation of the Cambridge combinatorics courses). ~ Yaël Dillies. #ITP #LeanProver #Lean4 #Math
• The Matrix Cookbook, using Lean's mathlib. ~ Eric Wieser. #ITP #LeanProver #Lean4 #Mathlib #Math
• Math-Haskell Rosetta Stone - Part 1. ~ Daniel Brice (@friedbrice_). #Haskell #FunctionalProgramming