The readings shared in Mastodon on September 5, 2024 are

• Readings shared September 4, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Haskell #FunctionalProgramming
• Proofs of "0+1+2+3+···+n=n(n + 1)/2" in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• Lean: First steps (07 - Proof by cases). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #Lean4 #Math
• Logic and proof. ~ Jeremy Avigad, Robert Y. Lewis & Floris van Doorn. #ITP #LeanProver #Lean4 #Logic #Math
• Formalising inductive and coinductive containers. ~ Stefania Damato, Thorsten Altenkirch & Axel Ljungström.3# #ITP #Agda
• Sized types and coinduction in Safe Agda. ~ Isaac Elliott. #Agda #FunctionalProgramming
• OCaml scientific computing. #OCaml #FunctionalProgramming #AI
• LSP: the good, the bad, and the ugly. ~ Michael Peyton Jones (@mpeytonjones). #Haskell #FunctionalProgramming
• Parsers are relative bimonads. ~ Artemis. #Haskell #FunctionalProgramming