The readings shared in Mastodon on September 17, 2024 are

• Readings shared September 16, 2024. #ITP #LeanProver #Lean4 #Math #Haskell #FunctionalProgramming
• Scientific computing in Lean. ~ Tomáš Skřivan. #ITP #LeanProver #Lean4 #Math
• Towards verified polynomial factorisation. ~ James H. Davenport. #ITP #LeanProver #Math
• First steps towards computational polynomials in Lean. ~ James H. Davenport. #ITP #LeanProver #Math
• miniCodeProps: A minimal benchmark for proving properties of code. ~ Evan Lohn & Sean Welleck. #ITP #LeanProver #Lean4 #LLMs
• Leveraging large language models for autoformalizing theorems: A case study. ~ Michail Karatarakis. #ITP #LeanProver #Lean4 #Autoformalization #Math
• Concrete bounds for Chebyshev’s prime counting functions (in Isabelle/HOL). ~ Manuel Eberl. #ITP #IsabelleHOL #Math
• Why Emacs is the best: 10 key advantages. ~ Tristan de Cacqueray. #Emacs