The readings shared in Mastodon on September 23, 2024 are

• Readings shared September 22, 2024. #ITP #LeanProver #Lean3 #Lean4 #Logic #Math
• Introduction to Lean. ~ Markus Himmel. #ITP #LeanProver #Math
• Scientific computing in Lean. ~ Tomáš Skřivan. #ITP #LeanProver #Math
• Tips and tricks for beginners using Mathlib/Lean. ~ Moritz Firsching. #ITP #LeanProver
• Lean Tutorial in Vienna. ~ Pietro Monticone et als. #ITP #LeanProver #Math
• Turning the Coq proof assistant into a pocket calculator. ~ Guillaume Melquiond. #ITP #Coq
• A case for first-class environments. ~ Jinhao Tan & Bruno C. D. S. Oliveira. #ITP #Coq
• CoqPilot, a plugin for LLM-based generation of proofs. ~ Andrei Kozyrev, Gleb Solovev, Nikita Khramov & Anton Podkopaev. #ITP #Coq #AI #LLMs
• Rabin's closest pair of points algorithm (in Isabelle/HOL). ~ Emin Karayel & Zixuan Fan. #ITP #IsabelleHOL
• Wlog – Without loss of generality (in Isabelle/HOL). ~ Dominique Unruh. #ITP #IsabelleHOL
• Haskell tutorial and cookbook. ~ Mark Watson. #Haskell #FunctionalProgramming