Readings shared January 6, 2025
The readings shared in Bluesky on 6 January 2025 are
- Readings shared January 4, 2025. #ITP #IsabelleHOL #LeanProver #HOLLight #Mizar #Math #Logic #Haskell #Python
- Computing huge Fibonacci numbers, by proof and by code. ~ Lawrence Paulson. #ITP #IsabelleHOL
- Lean: First steps (21 - Simple induction). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #LeanProver #Lean4 #Math
- Mathematicians found – and fixed – an error in a 60-year-old proof. ~ Alex Wilkins.L#selection-733.0-733.66 #ITP #LeanProver #Math
- Large language models for mathematical analysis. ~ Ziye Chen, Hao Qi. #AI #LLMs #Math
- On planarity of graphs in homotopy type theory. ~ Cubides, Jonathan Steven Prieto; Gylterud, Håkon Robbestad. #ITP #Agda #HoTT
- Laws of quantum programming. ~ Mingsheng Ying, Li Zhou, Gilles Barthe. #ITP #Coq #Rocq #QuantumProgramming
- El libro recursivo de la recursividad. ~ @Alvy. #Programación