Readings shared January 21, 2025
The readings shared in Bluesky on 21 January 2025 are
- Readings shared January 20, 2025. #ITP #LeanProver #IsabelleHOL #Math #FunctionalProgramming #Haskell #Python #CommonLisp #JanetLang #AI #LLMs #Programming
- Proofs of the Praeclarum Theorema in Lean4 and Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math #Calculemus
- Describing domino tilings with Prolog. ~ Markus Triska. #Prolog #LogicProgramming
- Think of a number. ~ Kevin Buzzard. #AI #LLMs #Math
- Negatively associated random variables (in Isabelle/HOL). ~ Emin Karayel. #ITP #IsabelleHOL #Math
- Las series de Kempner, o qué ocurre cuando quito un dígito. ~ Miguel Ángel Morales. #Matemáticas