Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Merge branch 'exam-20250129' | David A. Madore | 2 weeks | |
Age | Commit message | Author | Files | Lines |
2025-01-30 | Merge branch 'exam-20250129'HEADmaster | David A. Madore | 2 | -2/+1301 |
2025-01-24 | Clarify wording. | David A. Madore | 1 | -1/+1 |
2025-01-24 | Clarify syllabus re Coq. | David A. Madore | 1 | -1/+5 |
2025-01-23 | Minor changes to test. | David A. Madore | 1 | -10/+11 |
2025-01-23 | Various improvements, clarifications and rephrasings suggested by TZ. | David A. Madore | 1 | -28/+33 |
2025-01-23 | Add a question asking for a proof in natural deduction style. | David A. Madore | 1 | -2/+64 |
2025-01-23 | Clarify syntax with extra parentheses. | David A. Madore | 1 | -2/+2 |
2025-01-22 | Instructions for test. | David A. Madore | 1 | -9/+12 |
2025-01-22 | Add an exercise on the semantics of the propositional calculus. | David A. Madore | 1 | -0/+93 |
2025-01-22 | Incorporate Coq exercises provided by TZ. | David A. Madore | 1 | -1/+363 |
[...] | ||||
Clone | ||||
git://git.madore.org/teach/inf110-lfi.git | ||||
http://git.madore.org/git/teach/inf110-lfi.git |