Readings shared July 28, 2025
The readings shared in Bluesky on 28 July 2025 are
- Gödel's first incompleteness theorem (in Lean4). #FormalVerification #ProofAssistant #LeanProver #Logic #Math
- Formalized formal logic (in Lean4). #FormalVerification #ProofAssistant #LeanProver #Logic #Math
- #Exercitium: Problemas de programación con Haskell (enero de 2019). #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Problemas de programación con Haskell (diciembre de 2018). #Haskell #ProgramaciónFuncional #Matemáticas