Readings shared September 4, 2025
The readings shared in Bluesky on 4 September 2025 are
- F91 in Lean. ~ Joachim Breitner. #ITP #LeanProver
- Lean: First steps. ~ Tariq Rashid. #ITP #LeanProver
- Acorn and the future of (AI?) theorem proving. ~ Guillermo Angeris. #ITP #LeanProver
- Lemmanaid: Neuro-symbolic lemma conjecturing. ~ Yousef Alhessi et als. #ITP #IsabelleHOL #LLMs
- Distributors (Unifying parsers, printers & grammars). ~ Eitan Chatav. #Haskell #FunctionalProgramming
- La red social de org-mode. ~ Notxor. #Emacs #OrgMode
- #Exercitium: N gramas. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Sopa de letras. #Haskell #ProgramaciónFuncional #Matemáticas