| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix typo. | David A. Madore | 2025-06-19 | 1 | -1/+1 |
| * | Minor changes to test. | David A. Madore | 2025-01-23 | 1 | -10/+11 |
| * | Various improvements, clarifications and rephrasings suggested by TZ. | David A. Madore | 2025-01-23 | 1 | -28/+33 |
| * | Add a question asking for a proof in natural deduction style. | David A. Madore | 2025-01-23 | 1 | -2/+64 |
| * | Clarify syntax with extra parentheses. | David A. Madore | 2025-01-23 | 1 | -2/+2 |
| * | Instructions for test. | David A. Madore | 2025-01-22 | 1 | -9/+12 |
| * | Add an exercise on the semantics of the propositional calculus. | David A. Madore | 2025-01-22 | 1 | -0/+93 |
| * | Incorporate Coq exercises provided by TZ. | David A. Madore | 2025-01-22 | 1 | -1/+363 |
| * | Answer key (on the Kreisel-Lacombe-Shoenfield theorem). | David A. Madore | 2025-01-22 | 1 | -69/+449 |
| * | Continue writing test (proof of the Kreisel-Lacombe-Shoenfield theorem). | David A. Madore | 2025-01-22 | 1 | -28/+172 |
| * | Start writing test for 2025-01-29. | David A. Madore | 2025-01-21 | 1 | -0/+245 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |
path: root/controle-20250129.tex