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

	Commit message (Collapse)	Author	Age	Files	Lines
*	An example proof in Heyting arithmetic.	David A. Madore	2024-01-08	1	-5/+43
\|
*	Start writing about first-order arithmetic.	David A. Madore	2024-01-08	1	-0/+71
\|
*	Curry-Howard and equality for first-order logic.	David A. Madore	2024-01-08	1	-0/+98
\|
*	Try to improve explanations of what sort of quantifications are allowed.	David A. Madore	2024-01-08	1	-23/+92
\|
*	Add minor clarifications here and there.	David A. Madore	2024-01-08	1	-9/+17
\|
*	Rework presentation of first-order logic.	David A. Madore	2024-01-07	1	-103/+165
\|
*	Slightly rework slide on \exists versus sum types.	David A. Madore	2024-01-07	1	-1/+19
\|
*	Continue reworking the introduction to quantifiers (maybe done?).	David A. Madore	2024-01-06	1	-1/+156
\|
*	Rework the introduction to quantifiers (work in progress!).	David A. Madore	2024-01-06	1	-23/+162
\|
*	Fix various mistakes and make some improvements noted during lecture on ↵	David A. Madore	2023-12-20	1	-33/+33
\| \| \| \|	2023-12-19.
*	Change my mind about name of third part.	David A. Madore	2023-12-19	1	-0/+681