| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove spurious \iftrue / \if that were used for testing.HEADmaster | David A. Madore | 2026-01-25 | 1 | -5/+0 |
| * | Finish proofreading exam questions. | David A. Madore | 2026-01-25 | 1 | -52/+59 |
| * | Wrap up exercise 3 and answer key. | David A. Madore | 2026-01-25 | 1 | -12/+47 |
| * | An exercise showing that Scott's formula is not provable. | David A. Madore | 2026-01-20 | 1 | -0/+80 |
| * | Write answer key for the exercise on the Kleene tree. | David A. Madore | 2026-01-20 | 1 | -16/+141 |
| * | Add an exercise on the Kleene tree. | David A. Madore | 2026-01-20 | 1 | -0/+166 |
| * | Start writing 2026 test with questions provided by TZ. | David A. Madore | 2026-01-20 | 1 | -0/+545 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |
path: root/controle-20260126.tex