Readings shared September 30, 2025
The readings shared in Bluesky on 30 September 2025 are:
- Lean 4 formalizes Mason‑Stothers theorem and polynomial corollaries. #ITP #LeanProver #Math
- #Exercitium: Producto de matrices como listas de listas. #Haskell #ProgramaciónFuncional #Matemáticas