Readings shared September 20, 2025
The readings shared in Bluesky on 20 September 2025 are:
- Everything you know is wrong. ~ Lawrence Paulson. #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification
- An introduction to formal real analysis (Lecture 4: Non-convergence of (-1)n, triangle inequality). ~ Alex Kontorovich. #ITP #LeanProver #Math
- An introduction to formal real analysis (Lecture 5: Doubling a convergent sequence). ~ Alex Kontorovich. #ITP #LeanProver #Math