| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Curry-Howard and equality for first-order logic. | David A. Madore | 2024-01-08 | 1 | -0/+98 |
| * | Try to improve explanations of what sort of quantifications are allowed. | David A. Madore | 2024-01-08 | 1 | -23/+92 |
| * | Add minor clarifications here and there. | David A. Madore | 2024-01-08 | 1 | -9/+17 |
| * | Rework presentation of first-order logic. | David A. Madore | 2024-01-07 | 1 | -103/+165 |
| * | Slightly rework slide on \exists versus sum types. | David A. Madore | 2024-01-07 | 1 | -1/+19 |
| * | Continue reworking the introduction to quantifiers (maybe done?). | David A. Madore | 2024-01-06 | 1 | -1/+156 |
| * | Rework the introduction to quantifiers (work in progress!). | David A. Madore | 2024-01-06 | 1 | -23/+162 |
| * | Fix various mistakes and make some improvements noted during lecture on 2023-... | David A. Madore | 2023-12-20 | 1 | -33/+33 |
| * | Change my mind about name of third part. | David A. Madore | 2023-12-19 | 1 | -0/+681 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |