| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | A simple exercise about Coq. | David A. Madore | 2024-01-22 | 1 | -0/+62 |
| | | |||||
| * | An exercise on Gödel's theorem. | David A. Madore | 2024-01-22 | 1 | -0/+79 |
| | | |||||
| * | An exercise on Hindley-Milner. | David A. Madore | 2024-01-22 | 1 | -0/+63 |
| | | |||||
| * | Improve that last exercise. | David A. Madore | 2024-01-22 | 1 | -3/+25 |
| | | |||||
| * | An exercise on simple reading of lambda-terms. | David A. Madore | 2024-01-22 | 1 | -0/+48 |
| | | |||||
| * | An exercise on semantics. | David A. Madore | 2024-01-22 | 1 | -0/+145 |
| | | |||||
| * | First version of test for 2024-01-26. | David A. Madore | 2024-01-22 | 1 | -0/+625 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |
path: root/controle-20240126.tex