| | 001-user-request.md | 939 B |
| | 002-don-exploration.md | 17.1 KB |
| | 003-don-plan.md | 13.3 KB |
| | 004-dijkstra-verification.md | 14.2 KB |
| | 005-kent-tests.md | 3.2 KB |
| | 006-rob-implementation.md | 3.4 KB |
| | 007-vadim-auto-review.md | 6.9 KB |
| | 008-steve-review.md | 8.1 KB |
| | 009-dijkstra-correctness.md | 9.6 KB |
| | 010-uncle-bob-review.md | 10.3 KB |
