Readings shared December 4, 2025
The readings shared in Bluesky on 4 December 2025 are:
- Formal analysis of the sigmoid function and formal proof of the universal approximation theorem. ~ Dustin Bryant, Jim Woodcock, Simon Foster. #ITP #IsabelleHOL
- Lean4Less: Eliminating definitional equalities from Lean via an extensional-to-intensional translation. ~ Rishikesh Vaishnav. #ITP #LeanProver
- #Exercitium: Sin consecutivos repetidos. #Haskell #ProgramaciónFuncional