- [x] Introduction to TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
- [x] State machines in TLA+ #TLA ⏳ 2025-02-28 📅 2025-02-28 ✅ 2025-02-24
- [x] Resources and Tools #TLA ⏳ 2025-02-24 📅 2025-02-25 ✅ 2025-03-03
- [x] Die Hard #TLA ⏳ 2025-02-28 📅 2025-03-04 ✅ 2025-02-28
- [ ] Transaction Commit #TLA 📅 2025-03-11 ⏳ 2025-03-07
- [ ] Two-Phase Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
- [ ] Paxos Commit #TLA 📅 2025-03-18 ⏳ 2025-03-14
- [ ] Implementation #TLA 📅 2025-03-25 ⏳ 2025-03-21
- [ ] The Alternating Bit Protocol #TLA 📅 2025-04-01 ⏳ 2025-03-28
- [ ] Implementation with Refinement #TLA ⏳ 2025-04-04 📅 2025-04-08