Readings shared February 12, 2025
The readings shared in Bluesky on 12 March 2025 are
- A formal proof of the irrationality of ζ(3) in Lean 4. ~ Junqi Liu, Jujian Zhang, Lihong Zhi. #ITP #LeanProver #Math
- #Exercitium: La bandera tricolor. #Haskell
- #Calculemus: Teorema de Nicómaco. #IsabelleHOL #Lógica #Matemática
- Curso "Demostración automática de teoremas (2004-05)". #ATP #Otter #Mace #Logic #Math
- Curso "Programación lógica (2004-05)". #LogicProgramming #Prolog #AI #NLP #Constraints #MachineLearning
- Curso "Razonamiento automático (2004-05)". #ATP #Otter #Mace #Jape #Logic #ITP #PVS