summaryrefslogtreecommitdiffstats
path: root/controle-20260622.tex
Commit message (Expand)AuthorAgeFilesLines
* TypoDavid A. Madore2 days1-1/+1
* Fill in number of pages.David A. Madore8 days1-2/+5
* Mostly minor changes (typos, clarifications) suggested by an LLM.David A. Madore8 days1-13/+13
* Add a remark.David A. Madore8 days1-0/+12
* Remove spurious info.David A. Madore8 days1-2/+0
* An exercise on Goodstein sequences.David A. Madore8 days1-2/+129
* Third exercise, on a restricted variant of nim.David A. Madore8 days1-0/+107
* Second exercise, on parity games.David A. Madore9 days1-0/+236
* Start writing test for 2026.David A. Madore10 days1-0/+322