| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Remove spurious \iftrue / \if that were used for testing. | David A. Madore | 5 months | |
| Age | Commit message | Author | Files | Lines |
| 2026-01-25 | Remove spurious \iftrue / \if that were used for testing.HEADmaster | David A. Madore | 1 | -5/+0 |
| 2026-01-25 | Finish proofreading exam questions. | David A. Madore | 1 | -52/+59 |
| 2026-01-25 | Wrap up exercise 3 and answer key. | David A. Madore | 1 | -12/+47 |
| 2026-01-20 | An exercise showing that Scott's formula is not provable. | David A. Madore | 1 | -0/+80 |
| 2026-01-20 | Write answer key for the exercise on the Kleene tree. | David A. Madore | 1 | -16/+141 |
| 2026-01-20 | Add an exercise on the Kleene tree. | David A. Madore | 1 | -0/+166 |
| 2026-01-20 | Start writing 2026 test with questions provided by TZ. | David A. Madore | 1 | -0/+545 |
| 2026-01-19 | Standardize premble. | David A. Madore | 1 | -3/+5 |
| 2026-01-19 | Rocq is the new Coq. | David A. Madore | 1 | -13/+13 |
| 2026-01-19 | A few clarifications on the syllabus. | David A. Madore | 1 | -7/+7 |
| [...] | ||||
| Clone | ||||
| git://git.madore.org/teach/inf110-lfi.git | ||||
| http://git.madore.org/git/teach/inf110-lfi.git | ||||
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |