| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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