Readings shared October 19, 2024
The readings shared in Mastodon on 19 October 2024 are
- Readings shared October 18, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Agda #Logic #Math #FunctionalProgramming #Prolog #LogicProgramming #Autoformalization #Emacs #Lisp
- ENS-Lean-course: Plain structures in Lean4. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- ENS-Lean-course: How to build hierarchy of algebraic structures in Lean4. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math
- Axiomatic set theory (Version of 18 October 2024). ~ Tom Leinster. #Math #SetTheory
- Nobel prizes and AI: The promise, the peril, and the path forward. ~ Marc Rotenberg. #AI