| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Consequences of typoHEADmaster | David A. Madore | 2 days | 1 | -2/+2 |
| * | Typo | David A. Madore | 2 days | 1 | -1/+1 |
| * | Fill in number of pages. | David A. Madore | 8 days | 1 | -2/+5 |
| * | Mostly minor changes (typos, clarifications) suggested by an LLM. | David A. Madore | 8 days | 1 | -13/+13 |
| * | Add a remark. | David A. Madore | 8 days | 1 | -0/+12 |
| * | Remove spurious info. | David A. Madore | 8 days | 1 | -2/+0 |
| * | An exercise on Goodstein sequences. | David A. Madore | 8 days | 1 | -2/+129 |
| * | Third exercise, on a restricted variant of nim. | David A. Madore | 8 days | 1 | -0/+107 |
| * | Second exercise, on parity games. | David A. Madore | 9 days | 1 | -0/+236 |
| * | Start writing test for 2026. | David A. Madore | 10 days | 1 | -0/+322 |
