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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Say something about existentials versus sum types.	David A. Madore	2023-12-19	1	-0/+42
\|
*	Add a slide on impredicativity.	David A. Madore	2023-12-19	1	-0/+52
\|
*	Slight clarification.	David A. Madore	2023-12-18	1	-3/+4
\|
*	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