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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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