| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Change my mind about name of third part. | David A. Madore | 2023-12-19 | 1 | -681/+0 |
| | | |||||
| * | Say something about existentials versus sum types. | David A. Madore | 2023-12-19 | 1 | -0/+42 |
| | | |||||
| * | Add a slide on impredicativity. | David A. Madore | 2023-12-19 | 1 | -0/+52 |
| | | |||||
| * | Slight clarification. | David A. Madore | 2023-12-18 | 1 | -3/+4 |
| | | |||||
| * | The problem of the inhabitedness of the domain. | David A. Madore | 2023-12-18 | 1 | -6/+57 |
| | | |||||
| * | Example proof in first-order logic. | David A. Madore | 2023-12-18 | 1 | -8/+86 |
| | | |||||
| * | The rules of first-order logic. | David A. Madore | 2023-12-17 | 1 | -0/+121 |
| | | |||||
| * | 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 |