| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | An easy computability exercise. | David A. Madore | 2 days | |
| Age | Commit message | Author | Files | Lines |
| 2 days | An easy computability exercise.HEADmaster | David A. Madore | 1 | -0/+30 |
| 2025-06-19 | Fix typo. | David A. Madore | 1 | -1/+1 |
| 2025-04-25 | Kreisel-Putnam formula was backwards: fix this. | David A. Madore | 1 | -5/+5 |
| 2025-01-30 | Merge branch 'exam-20250129' | David A. Madore | 2 | -2/+1301 |
| 2025-01-24 | Clarify wording. | David A. Madore | 1 | -1/+1 |
| 2025-01-24 | Clarify syllabus re Coq. | David A. Madore | 1 | -1/+5 |
| 2025-01-23 | Minor changes to test. | David A. Madore | 1 | -10/+11 |
| 2025-01-23 | Various improvements, clarifications and rephrasings suggested by TZ. | David A. Madore | 1 | -28/+33 |
| 2025-01-23 | Add a question asking for a proof in natural deduction style. | David A. Madore | 1 | -2/+64 |
| 2025-01-23 | Clarify syntax with extra parentheses. | David A. Madore | 1 | -2/+2 |
| [...] | ||||
| 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 |