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