| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Start talking about first-order logic. | David A. Madore | 2023-12-17 | 1 | -2/+111 |
| * | Start a basic set of slides on higher order logic(s). | David A. Madore | 2023-12-17 | 1 | -0/+227 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |