| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Thinko. | David A. Madore | 4 weeks | |
| Age | Commit message | Author | Files | Lines |
| 2025-12-15 | Thinko.HEADmaster | David A. Madore | 1 | -1/+1 |
| 2025-12-05 | Various updates (mostly typos/thinkos, but also phase out "tautology"). | David A. Madore | 1 | -16/+16 |
| 2025-11-14 | Typo. | David A. Madore | 1 | -1/+1 |
| 2025-11-07 | Reading recommendations. | David A. Madore | 1 | -0/+186 |
| 2025-11-07 | Update preamble. | David A. Madore | 1 | -2/+2 |
| 2025-11-03 | Use "newtxtext" package for Times as it also provides a monospace font. | David A. Madore | 1 | -2/+2 |
| 2025-10-31 | Historically, Turing did not actually prove the undecidability of the halting... | David A. Madore | 1 | -6/+7 |
| 2025-10-31 | Add an easy computability exercise. | David A. Madore | 1 | -1/+97 |
| 2025-10-30 | Also update cover page. | David A. Madore | 1 | -2/+2 |
| 2025-10-30 | Note Coq→Rocq name change. | David A. Madore | 2 | -4/+4 |
| [...] | ||||
| 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 |