Updated: 27 September 2026
- Stanford Introduction to Logic
- Dr. Erik Meijer – Functional Programming Fundamentals
- YouTube @numberphile
- YouTube @Computerphile
- YouTube @OxfordMathematics
- YouTube @mitocw
- Formal and informal proofs, Milos Hauskrecht
- Sleeper agents: Training deceptive LLMs that persist through safety training
- The Mechanics of Proof