teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Expand)	Author	Age	Files	Lines
*	Minor changes to test.	David A. Madore	13 days	1	-10/+11
*	Various improvements, clarifications and rephrasings suggested by TZ.	David A. Madore	13 days	1	-28/+33
*	Add a question asking for a proof in natural deduction style.	David A. Madore	13 days	1	-2/+64
*	Clarify syntax with extra parentheses.	David A. Madore	13 days	1	-2/+2
*	Instructions for test.	David A. Madore	14 days	1	-9/+12
*	Add an exercise on the semantics of the propositional calculus.	David A. Madore	14 days	1	-0/+93
*	Incorporate Coq exercises provided by TZ.	David A. Madore	14 days	1	-1/+363
*	Answer key (on the Kreisel-Lacombe-Shoenfield theorem).	David A. Madore	14 days	1	-69/+449
*	Continue writing test (proof of the Kreisel-Lacombe-Shoenfield theorem).	David A. Madore	2025-01-22	1	-28/+172
*	Start writing test for 2025-01-29.	David A. Madore	2025-01-21	1	-0/+245