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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix a typo and make small improvement noted during lecture on 2024-01-09.	David A. Madore	2024-01-09	1	-5/+5
*	The set of theorems is not computable.	David A. Madore	2024-01-09	1	-5/+37
*	More around Gödel and whatnot.	David A. Madore	2024-01-09	1	-13/+159
*	Gödel's theorem.	David A. Madore	2024-01-08	1	-3/+168
*	More about first-order arithmetic.	David A. Madore	2024-01-08	1	-4/+111
*	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 2023-...	David A. Madore	2023-12-20	1	-33/+33
*	Change my mind about name of third part.	David A. Madore	2023-12-19	1	-0/+681