Readings shared May 18, 2025
The readings shared in Bluesky on 18 May 2025 are
- Formalizing a proof in Lean using Claude and o4. ~ Terence Tao. #ITP #LeanProver #Math
- Formalizing a proof in Lean using Github Copilot only. ~ Terence Tao. #ITP #LeanProver #Math
- Formal proof of Dilworth’s theorem (in Isabelle/HOL). ~ Vivek Soorya Maadoori et als. #ITP #IsabelleHOL #Math
- Benchmarking energy calculations using formal proofs. ~ Ejike D. Ugwuanyi, Colin T. Jones, John Velkey, Tyler R. Josephson. #ITP #LeanProver
- Freer arrows and why you need them. ~ Grant Vandomelen, Yao Li. #Haskell #FunctionalProgramming
- Computer science and mathematics: A powerful synergy. ~ Khaled M.M. Alrantisi, Mohammad Imtiyaz Gulbarga. #Math #CompSci
- Tipos abstractos y polimorfismo en programación funcional. ~ Emanuel Goette. #Haskell #FunctionalProgramming